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.

Sign up for GitHub

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

Jump to bottom

Minor Modifications #515

Merged
1 commit merged into from
Mar 28, 2017
Merged

Minor Modifications #515

1 commit merged into from
Mar 28, 2017

Conversation

gpantelis
Copy link
Contributor

Minor Modifications

@gpantelis
Minor Modifications
8455637 
Minor Modifications
@coveralls
Copy link

coveralls commented Mar 28, 2017 •
edited
Loading

Coverage Status

Coverage increased (+1.0%) to 48.682% when pulling 8455637 on gpantelis:patch-1 into da7bd37 on Zulko:master.

@ghost ghost merged commit 6c2ca83 into Zulko:master Mar 28, 2017
@tburrows13 tburrows13 added the documentation Related to documentation in official project docs or individual docstrings. label Apr 17, 2017
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
documentation Related to documentation in official project docs or individual docstrings.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@gpantelis @coveralls @tburrows13