comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 8991:096725f4da58

the -e option to the eclipseformat can now also accept an Eclipse installation directory
author Doug Simon <doug.simon@oracle.com>
date Wed, 10 Apr 2013 13:21:41 +0200
parents 3417a9177425
children
comparison
equal deleted inserted replaced
8983:6c4ac1a8cd20 8991:096725f4da58