log mxtool/eclipse-settings/org.eclipse.jdt.ui.prefs @ 22341:f24100915864

age author description
Thu, 18 Jun 2015 23:21:34 +0200 Doug Simon moved mx.graal/eclipse-settings to mxtool/eclipse-settings base mx.graal/eclipse-settings/org.eclipse.jdt.ui.prefs@c14745e25da5