diff .hgignore @ 9867:59181bf27144

.hgignore: add files generated by coverage
author Bernhard Urban <bernhard.urban@jku.at>
date Mon, 27 May 2013 17:14:14 +0200
parents d538dce8f403
children 529570e20aff
line wrap: on
line diff
--- a/.hgignore	Wed Jun 05 11:16:18 2013 +0200
+++ b/.hgignore	Mon May 27 17:14:14 2013 +0200
@@ -72,3 +72,5 @@
 *.jar.*
 eclipse-build.xml
 rebuild-launch.out
+coverage
+jacoco.exec