changeset 11421:966d4517bf58

Ignore graal.options file
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 26 Aug 2013 18:03:09 +0200
parents 7c4c1a7c875a
children 774e1c2f8741
files .hgignore
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
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