Skip to content

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

Merged
martenson merged 1 commit intogalaxyproject:masterfrom
peterjc:cmd_help
Jul 12, 2017
Merged

Mention planemo command --help in main help.#709
martenson merged 1 commit intogalaxyproject:masterfrom
peterjc:cmd_help

Conversation

@peterjc
Copy link
Contributor

@peterjc peterjc commented Jul 12, 2017

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

Suggested by Matthias Bernt on the galaxy-dev mailing list.
@martenson martenson merged commit b275720 into galaxyproject:master Jul 12, 2017
@peterjc peterjc deleted the cmd_help branch July 12, 2017 15:33
@jmchilton
Copy link
Member

Wonderful - thanks guys!

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants