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

Fix #51 #52

Closed

peng-huang-ch wants to merge 3 commits into tj:penghap-zremrangebyrank from peng-huang-ch:penghap-zremrangebyrank

Contributor

peng-huang-ch commented Aug 15, 2019

Fix [Issue #51], tidy always true.

noamshemesh and others added 3 commits

March 2, 2019 17:40


          3.3.0

831ee50


          Remove tidy as in practice is always true

d8e1e50

regardless what is set in the tidy option


          Fix tidy always true

7b1c5aa

Collaborator

noamshemesh commented Aug 16, 2019

Thanks, I removed the option to disable tidy completely.

noamshemesh closed this

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

Labels

None yet