Merge pull request #412 from gianarb/coverage-gitignore

Put coverage files in gitignore
2017-01-11 16:03:22 -08:00
parent 5ac8610e2c 225412d081
commit 4b19b0dec9
1 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 /bin/
+*/coverage.txt