diff options
| author | Guilherme Felipe <guilhermefelipecgs@gmail.com> | 2019-09-08 12:24:33 -0300 |
|---|---|---|
| committer | Guilherme Felipe <guilhermefelipecgs@gmail.com> | 2019-09-08 13:08:34 -0300 |
| commit | 481dbceed0d0610a6c689e3be448b7953994763e (patch) | |
| tree | 5518713c6f66d8440710e9e30e67a6ddc188ce51 /thirdparty | |
| parent | e9f49a6d5ac88a6afca8a16f91a05f4fcdf5a589 (diff) | |
Adds fuzzy search for help search dialog
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions