log mxtool/eclipse-settings/org.eclipse.jdt.core.prefs @ 22022:1e72b0915423

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