diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-09 17:43:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-09 17:43:33 +0200 |
| commit | 4c1a5d9cfe2da761bfe17d52126deabc1f1c1bd3 (patch) | |
| tree | 1d797e4292226a34e3dc18256a4fe1244f198539 /thirdparty/misc | |
| parent | 745ae39837993434da713fd080bf6d328d9ee183 (diff) | |
| parent | f7848f234f7cf8092e600d034a83b3bb37c88dc4 (diff) | |
Merge pull request #22866 from Calinou/improve-find-in-files
Improve the editor's Find in Files function
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions