diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-06-30 18:40:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-30 18:40:43 +0200 |
| commit | 84e9e58084d12771d04cd2ece16b32720867fcbd (patch) | |
| tree | 61a55ea52854eefd41a5ccae8e8720e981dafac0 /.github | |
| parent | 5f2295f2dfdbf1ac4e63b562e4cef71f2fda4036 (diff) | |
| parent | 55d706c352fd3cbb25418201053bc0d688ee88d4 (diff) | |
Merge pull request #39990 from follower/revert-fuzzy-help-search
Revert "Adds fuzzy search for help search dialog"
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions