Passed
Pull Request — master (#201)
by
unknown
01:48
created

Changes

Good job, 2 issues were fixed.
D F gvmtools.pyshell.main() got worse
D F gvmtools.cli.main() got worse
8.45
▼   -0.45
Head
Björn Ricks  
Merge pull request #201 from bjoernricks/support-gmp-selection
2 more commits
Base
Björn Ricks  
Merge pull request #199 from bjoernricks/master