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.

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

Mention planemo command --help in main help. #709

Merged
merged 1 commit into from Jul 12, 2017

Conversation

Projects
None yet
4 participants
@peterjc
Copy link
Contributor

peterjc commented Jul 12, 2017

Suggested by Matthias Bernt on the galaxy-dev mailing list.

Mention planemo command --help in main help.
Suggested by Matthias Bernt on the galaxy-dev mailing list.

@martenson martenson merged commit b275720 into galaxyproject:master Jul 12, 2017

1 check was pending

continuous-integration/travis-ci/pr The Travis CI build is in progress
Details

@peterjc peterjc deleted the peterjc:cmd_help branch Jul 12, 2017

@jmchilton

This comment has been minimized.

Copy link
Member

jmchilton commented Jul 13, 2017

Wonderful - thanks guys!

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