Skip to content
This repository has been archived by the owner on Nov 6, 2020. It is now read-only.

docopts cleanups #713

Merged
merged 1 commit into from Mar 14, 2016
Merged

docopts cleanups #713

merged 1 commit into from Mar 14, 2016

Conversation

gavofyork
Copy link
Contributor

one for @LefterisJP: 80-character line for docopts.

one for @LefterisJP: 80-character line for docopts.
@gavofyork gavofyork added the A0-pleasereview 🤓 Pull request needs code review. label Mar 13, 2016
@arkpar arkpar added A8-looksgood 🦄 Pull request is reviewed well. and removed A0-pleasereview 🤓 Pull request needs code review. labels Mar 14, 2016
@LefterisJP
Copy link

👍 Looking much nicer on a 3-column buffered monitor :)

arkpar added a commit that referenced this pull request Mar 14, 2016
@arkpar arkpar merged commit d5fa493 into master Mar 14, 2016
@arkpar
Copy link
Collaborator

arkpar commented Mar 14, 2016

merged into beta

@arkpar arkpar deleted the docoptclean branch March 14, 2016 09:28
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
A8-looksgood 🦄 Pull request is reviewed well.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants