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

Set the verbosity of the underlying zim::Search. #105

Merged

mgautierfr merged 1 commit into master from verbose_search

Jul 30, 2019

Member

mgautierfr commented Dec 19, 2017

No description provided.

Collaborator

kelson42 commented Jul 25, 2019

@mgautierfr What should we do with this really old PR and branch.

mgautierfr force-pushed the verbose_search branch from c7a6f3e to 0654776 Compare

July 30, 2019 09:46


          Set the verbosity of the underlying zim::Search.

654a8e3

mgautierfr force-pushed the verbose_search branch from 0654776 to 654a8e3 Compare

July 30, 2019 15:03

mgautierfr merged commit 77770e1 into master

mgautierfr deleted the verbose_search branch

July 30, 2019 15:33

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

Labels

None yet