diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 18196:ff1f1481b367

Fix bug in code installer.
author Roland Schatz <roland.schatz@oracle.com>
date Thu, 30 Oct 2014 18:14:41 +0100
parents e3491381c424
children 7e2c87dae93e
line wrap: on
line diff