diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 5107:85a47e2a415d

bugfix
author Christian Haeubl <christian.haeubl@oracle.com>
date Tue, 13 Mar 2012 10:41:13 -0700
parents 05a6d48a6ace
children 2a3938fac230
line wrap: on
line diff