]> ocean-lang.org Git - ocean/commitdiff
gitignore - add coverage_scanner
authorNeilBrown <neil@brown.name>
Sun, 16 Jun 2019 01:35:00 +0000 (11:35 +1000)
committerNeilBrown <neil@brown.name>
Sun, 16 Jun 2019 02:06:06 +0000 (12:06 +1000)
This is a tmp file - should have been ignored before.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/.gitignore

index f8a607bb45d9d5da3a4e58c7b1718224a5d87b4c..5deb8a5cc0127368bbb98c46f97256d521640a8b 100644 (file)
@@ -8,6 +8,7 @@ scanner
 calc
 oceani
 coverage_oceani
+coverage_scanner
 coverage/
 itest*
 *.cgm