diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 7647:017f9c2bcb6b

Small code clean up.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Thu, 31 Jan 2013 16:28:55 +0100
parents 630ea5001e33
children a0cfabe195c6
line wrap: on
line diff