comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 7647:017f9c2bcb6b

Small code clean up.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Thu, 31 Jan 2013 16:28:55 +0100
parents 3417a9177425
children
comparison
equal deleted inserted replaced
7646:16b5195c5f30 7647:017f9c2bcb6b