diff .hgignore @ 11421:966d4517bf58

Ignore graal.options file
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 26 Aug 2013 18:03:09 +0200
parents f75491043d40
children ec7aad9dfc47
line wrap: on
line diff
--- a/.hgignore	Mon Aug 26 17:10:45 2013 +0200
+++ b/.hgignore	Mon Aug 26 18:03:09 2013 +0200
@@ -76,3 +76,4 @@
 jacoco.exec
 workingsets.xml
 .buildbot/
+graal.options