diff --git a/.gitignore b/.gitignore index 381cefd92ae437b42901b9272a597a3d12156320..50159ff435d0578ee77728e4d7bfda7715c3aef6 100644 --- a/.gitignore +++ b/.gitignore @@ -23,4 +23,5 @@ out #coverage tool .coverage smash/htmlcov/* +run-coverage.bat