comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 5217:70777e50f1e6

replace monkey patch with subclassing instead
author Doug Simon <doug.simon@oracle.com>
date Sun, 08 Apr 2012 00:09:10 +0200
parents 2a3938fac230
children 4d7175cf3526
comparison
equal deleted inserted replaced
5198:887b45f6aa02 5217:70777e50f1e6