diff options
| author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-04-01 21:03:34 +0200 |
|---|---|---|
| committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-04-01 21:03:34 +0200 |
| commit | 34d0b8fd067a4c118ae576df78edad830e7bdb2a (patch) | |
| tree | 5b3596583dd7246fb760a3b49d49ae604d4bf107 | |
| parent | e0acbda944d93cebb2df490e5d8e714740c2bbc7 (diff) | |
| download | sbotools2-34d0b8fd067a4c118ae576df78edad830e7bdb2a.tar.xz | |
Add cover_db helpers to gitignore
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,2 +1,4 @@ t/SBO t/Sort +tools/cover.sh +cover_db |