log mxtool/eclipse-settings/org.eclipse.jdt.core.prefs @ 22348:17b96d2fe8d6

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