diff options
author | 2019-01-14 00:44:46 +1100 | |
---|---|---|
committer | 2019-01-14 00:44:46 +1100 | |
commit | 3d84943f72df5d69db5e5cff1d71887fcc23c422 (patch) | |
tree | 893bbfe9575c70b5b95311642937bc92bfb633ba /docs/source/commandline | |
parent | 9d7b4d0faa64f42665b1c19b28b5eb15c0f40d29 (diff) |
Make search not suck as badly (use algorithm derived from Jaro-Winkler similarity to match search strings, match on more useful stuff)
Diffstat (limited to 'docs/source/commandline')
0 files changed, 0 insertions, 0 deletions