diff options
author | Aleksey Kladov <[email protected]> | 2019-10-24 12:01:02 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-10-24 12:16:36 +0100 |
commit | 4529da906db7f18aaf384c079332e4ea12c82d55 (patch) | |
tree | df095e7f3a20f9c5b3df09c4722d0e3e406b122f /editors | |
parent | 6d186ec3beff14bc161d1c7b7c98b412c4f833d9 (diff) |
for highlighting, search only the current file
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions