Skip to content

Conversation

@thomas-riccardi
Copy link
Contributor

Also improve *ignore files

@thomas-riccardi thomas-riccardi merged commit 8b689d9 into master Feb 11, 2019
@thomas-riccardi thomas-riccardi deleted the dev-coverage branch February 11, 2019 11:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants