diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-06-15 07:13:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-15 07:13:20 +0200 |
| commit | fe858b74b8fbd345f1d08807abcf2b6dbea035a9 (patch) | |
| tree | f98711ce392864a27a3a72f71a560d396f12ac42 /doc/classes | |
| parent | 6fa2a5ac145054a29268735316f14d2afe46b381 (diff) | |
| parent | 91bdc77d47eba2a0c74c07eb57ce5ee14538b535 (diff) | |
Merge pull request #39552 from mrushyendra/whole_word_match_count
Fix match count for whole word search in editor
Diffstat (limited to 'doc/classes')
0 files changed, 0 insertions, 0 deletions