diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 6461:989df22d4012

removed support for extended bytecodes
author Doug Simon <doug.simon@oracle.com>
date Sun, 30 Sep 2012 13:19:38 +0200
parents 04ebcabcba4f
children 44d92b447951
line wrap: on
line diff