From c713fdd0d07dd8b8588b36990372ffe370d6d4ea Mon Sep 17 00:00:00 2001
From: Andreas Stephanides <andis@fet.at>
Date: Sat, 5 Jan 2019 02:56:08 +0100
Subject: [PATCH] ignore coverage folder

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index aa2c332..f15b370 100755
--- a/.gitignore
+++ b/.gitignore
@@ -58,4 +58,5 @@ console
 !/.gitignore
 *.pid
 
-/doc/app
\ No newline at end of file
+/doc/app
+coverage/*
\ No newline at end of file