comparison 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
comparison
equal deleted inserted replaced
17126:7a0bff31df98 17127:3db919d1c8d5