log mxtool/eclipse-settings/org.eclipse.jdt.core.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.core.prefs@ff2ae1cd1b06