From dcb226c08b6e18189a8139819cb055c8844ec0a5 Mon Sep 17 00:00:00 2001
From: Carlo Strub <cs@carlostrub.ch>
Date: Wed, 1 Jan 2020 20:42:51 +0100
Subject: [PATCH] ignore coverage file

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index ca37dd3..9a301b5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@
 *.o
 *.a
 *.so
+*.coverprofile
 
 # Folders
 _obj