changeset 22235:47172ee39101

Rename graal.options to jvmci.options in .hgignore.
author Roland Schatz <roland.schatz@oracle.com>
date Thu, 16 Jul 2015 13:48:47 +0200
parents b34312ac04a8
children 179db500f6e5
files .hgignore
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/.hgignore	Wed Jul 15 15:46:53 2015 +0200
+++ b/.hgignore	Thu Jul 16 13:48:47 2015 +0200
@@ -87,7 +87,7 @@
 jacoco.exec
 workingsets.xml
 .buildbot/
-graal.options
+jvmci.options
 agent/build/*
 agent/make/filelist
 agent/make/sa17.tar.gz