log mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 18888:31960077ea9d

age author description
Wed, 23 Jan 2013 16:39:56 +0100 Doug Simon enabled format-on-save
Wed, 23 Jan 2013 14:13:49 +0100 Doug Simon gave formatter profile the name "Graal"
Tue, 22 Jan 2013 20:04:42 +0100 Doug Simon removed name of shared formatter profile
Fri, 27 Jan 2012 17:07:03 +0100 Lukas Stadler misc cleanup
Wed, 11 Jan 2012 15:14:45 +0100 Doug Simon Moved IDE project configuration into mx.py. base mx/org.eclipse.jdt.ui.prefs@8bdf22b741bf