diff options
| author | Remi Collet <remi@remirepo.net> | 2020-03-12 16:57:28 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2020-03-12 16:57:28 +0100 |
| commit | 7058acfc1ff69e392ee921e42d4cbf4458c29f1a (patch) | |
| tree | 38c04bbf9d362dc66e70cf76414b54985bf0f283 /.github | |
| parent | 2d4db596d6088131a2a2c11b667fa506762d2491 (diff) | |
improve search logic, use index when exists and no search mode
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions