sbotools2

commit 34d0b8fd067a4c118ae576df78edad830e7bdb2a
parent e0acbda944d93cebb2df490e5d8e714740c2bbc7
Author: Andreas Guldstrand <andreas.guldstrand@gmail.com>
Date:   Fri,  1 Apr 2016 21:03:34 +0200

Add cover_db helpers to gitignore

Diffstat:
M
.gitignore
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,4 @@
 t/SBO
 t/Sort
+tools/cover.sh
+cover_db