comparison 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
comparison
equal deleted inserted replaced
5106:e99213cfe7d5 5107:85a47e2a415d