New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

search: offer more flexibility (not only exact search) #47

Open

BRaimbault opened this issue Mar 27, 2017 · 0 comments

Labels

BRaimbault commented Mar 27, 2017

We explored fuzzy search earlier but the result was not so convincing...

BRaimbault added the priority:low label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment