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

Issue34 #38

Merged
merged 2 commits into from Jun 2, 2017
Merged

Issue34 #38

merged 2 commits into from Jun 2, 2017

Conversation

jimboid
Copy link
Member

@jimboid jimboid commented Jun 2, 2017

No description provided.

Fixed the problem of the zip archive not being deleted after downloading
examples
Better unit tests for the examples download function
@jimboid jimboid added this to the v1.5.0 milestone Jun 2, 2017
@coveralls
Copy link

coveralls commented Jun 2, 2017

Coverage Status

Coverage remained the same at 100.0% when pulling 24cd5b9 on issue34 into b5ec21a on development.

@jimboid jimboid merged commit c81cc5f into development Jun 2, 2017
@jimboid jimboid removed this from the v1.5.0 milestone Jun 2, 2017
@jimboid jimboid deleted the issue34 branch June 5, 2017 09: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