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

Fixes #117 #147

Merged

gfs merged 1 commit into master from gfs/#117

Apr 23, 2019

Contributor

gfs commented Apr 23, 2019 •

edited

Fixes #117.


          Fixes #117

3b6c733

Adds number of results to the list-runs printout.

gfs merged commit 7d8b5be into master

gfs deleted the gfs/#117 branch

April 23, 2019 17:36

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