galaxyproject / ephemeris

Library for managing Galaxy plugins - tools, index data, and workflows.
https://ephemeris.readthedocs.org/
Other
27 stars 38 forks source link

fixes verbosity flag issue #67

Closed rhpvorderman closed 6 years ago

rhpvorderman commented 6 years ago

fixes issue in #65

Use latest sphinx-argparse

bgruening commented 6 years ago

Thanks @rhpvorderman!