comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 4571:ac6e494d048a

bugfix
author Christian Haeubl <christian.haeubl@oracle.com>
date Sat, 11 Feb 2012 11:15:32 -0800
parents 04ebcabcba4f
children 05a6d48a6ace
comparison
equal deleted inserted replaced
4570:2dcc9193c6f0 4571:ac6e494d048a