From 34d0b8fd067a4c118ae576df78edad830e7bdb2a Mon Sep 17 00:00:00 2001 From: Andreas Guldstrand Date: Fri, 1 Apr 2016 21:03:34 +0200 Subject: Add cover_db helpers to gitignore --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitignore b/.gitignore index 00385c6..edb4f4c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,4 @@ t/SBO t/Sort +tools/cover.sh +cover_db -- cgit v1.2.3