Mercurial > hg > truffle
diff hotspot/.settings/org.eclipse.cdt.ui.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 | 694c38d4b6d8 |
children |