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

Issue #96 #101

Merged

jimboid merged 1 commit into master from issue96

Jun 20, 2018

Member

jimboid commented Jun 20, 2018

Missing description of --maxtime in the output from --help

Closes #96


          Issue #96

24f1e5f

Missing description of --maxtime in the output from --help

Closes #96

jimboid added this to the v1.5.2 milestone

jimboid self-assigned this

coveralls commented Jun 20, 2018 •

edited

Loading

Coverage remained the same at 100.0% when pulling 24f1e5f on issue96 into a4e3da5 on master.

jimboid merged commit 3f83f60 into master

jimboid deleted the issue96 branch

August 2, 2018 13:48

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

Labels

None yet