Mercurial > hg > truffle
diff hotspot/.settings/org.eclipse.cdt.core.prefs @ 17127:3db919d1c8d5
Add option to disable Graal graph verification (which takes very long for big graphs)
author | Christian Wimmer <christian.wimmer@oracle.com> |
---|---|
date | Tue, 16 Sep 2014 18:41:00 -0700 |
parents | f86ddbd42a7b |
children | df8d52aba789 |