Skip to content
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

[DOC] Normalize some command line help #1999

Merged
merged 1 commit into from Jul 3, 2017
Merged

Conversation

mr-c
Copy link
Contributor

@mr-c mr-c commented Jan 15, 2017

Will lead to better unix 'man' manual pages

Will lead to better unix 'man' manual pages
@mr-c mr-c mentioned this pull request Jan 15, 2017
23 tasks
@mr-c
Copy link
Contributor Author

mr-c commented Jun 23, 2017

@h-2 Can this be merged?

@h-2
Copy link
Member

h-2 commented Jun 26, 2017

@mr-c LGTM!
@rrahn Whats up with new Jenkins builds? Are these real errors or infrastructure problems?

@h-2 h-2 self-requested a review June 26, 2017 09:46
Copy link
Member

@h-2 h-2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@h-2
Copy link
Member

h-2 commented Jul 3, 2017

rebuild

@h-2 h-2 self-assigned this Jul 3, 2017
@h-2 h-2 added this to the Release 2.4.0 milestone Jul 3, 2017
@h-2 h-2 merged commit 39e5efc into seqan:develop Jul 3, 2017
@h-2
Copy link
Member

h-2 commented Jul 3, 2017

Thanks for the PR!

@mr-c mr-c deleted the short-description branch July 3, 2017 12:37
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.

None yet

2 participants