diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 10875:27ba48dffab6

Increase TruffleGraphMaxNodes to 15000
author Christian Wirth <christian.wirth@oracle.com>
date Thu, 25 Jul 2013 13:52:53 +0200
parents c6c3515bea8e
children 5814f30f0baf
line wrap: on
line diff