Skip to content

Feature/man page#32

Merged
fernandogmo merged 6 commits into
releasefrom
feature/man_page
Oct 24, 2018
Merged

Feature/man page#32
fernandogmo merged 6 commits into
releasefrom
feature/man_page

Conversation

@fernandogmo
Copy link
Copy Markdown
Owner

Closes #31

@fernandogmo fernandogmo merged commit 5bdfe3d into release Oct 24, 2018
@fernandogmo fernandogmo deleted the feature/man_page branch October 24, 2018 04:10
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.

1 participant