diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-06-12 12:58:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-12 12:58:31 +0200 |
| commit | 84abf5a979648081a9076ec6b342f5f9d33093d4 (patch) | |
| tree | 807f30e0a1697080c7bd65c66763aff6e2f73cc6 /doc/Makefile | |
| parent | 42bc9ba92f6cd5018dfd90d76438b82b1606bd89 (diff) | |
| parent | 2433287871ec5ccdf1f85e3e9c057a1a589d3848 (diff) | |
Merge pull request #39478 from mrushyendra/find_whole_word
Fix whole word search slowdown in editor
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions