diff .hgignore @ 11428:6f58979d0755

Merged
author Christian Wirth <christian.wirth@oracle.com>
date Tue, 27 Aug 2013 09:34:55 +0200
parents 966d4517bf58
children ec7aad9dfc47
line wrap: on
line diff
--- a/.hgignore	Mon Aug 26 18:25:40 2013 +0200
+++ b/.hgignore	Tue Aug 27 09:34:55 2013 +0200
@@ -76,3 +76,4 @@
 jacoco.exec
 workingsets.xml
 .buildbot/
+graal.options