log mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 17437:d65ca887868d

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