diff --git a/.gitignore b/.gitignore index 83c08fba63f2be651b4dbee75798abfe6c694147..f8b7c8fff694053401fdc44ac33cda425cd5e353 100644 --- a/.gitignore +++ b/.gitignore @@ -27,9 +27,9 @@ out smash/smash.log smash/smash/smash.log - +#coverage info .coverage smash/htmlcov/ -run-coverage.bat +run-coverage.sh media