From fc25919357b2d3d75e578aec187e39c248c58e5a Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Mon, 11 Jun 2018 09:01:56 +0200
Subject: [PATCH] git ignor modified to include coverage script

---
 .gitignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 83c08fba..f8b7c8ff 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
-- 
GitLab