diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 5129:51111665eda6

Support for recording a leaf graph id for each deoptimization point in the debug info.
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 21 Mar 2012 10:47:02 +0100
parents 05a6d48a6ace
children 2a3938fac230
line wrap: on
line diff