diff options
| author | Pascal Kuthe | 2022-10-13 18:10:10 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-10-21 01:03:00 +0000 |
| commit | 189aa0bfcfb6841ced946289e112cc9cdd4919a5 (patch) | |
| tree | 21ea62e50048de9faad3877c4cc9d3627096352f /runtime/queries/lean/highlights.scm | |
| parent | dc3527f52df27ae20294ca14bac60994725519aa (diff) | |
never sort menu items when no fuzzy matching is possible
Diffstat (limited to 'runtime/queries/lean/highlights.scm')
0 files changed, 0 insertions, 0 deletions