diff options
| author | Phil Jones <philj56@gmail.com> | 2022-08-12 23:14:32 +0100 |
|---|---|---|
| committer | Phil Jones <philj56@gmail.com> | 2022-08-12 23:14:32 +0100 |
| commit | 8e45592c5703451563eaf4edcd7033f80ce23b53 (patch) | |
| tree | 3af3dcc6d84464ba0009ab6c5fdd7bea3fde4408 /.github | |
| parent | 64dfe36d347a2b329d8c0b6baa3ff782e66f0233 (diff) | |
Add --fuzzy_match option.
This enables some simple fuzzy matching logic for searches.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions