diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 4675:c2384f5b2e6e

Small changes to the deopt stub.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Wed, 22 Feb 2012 14:07:10 +0100
parents 05a6d48a6ace
children 2a3938fac230
line wrap: on
line diff