log mxtool/eclipse-settings/org.eclipse.core.resources.prefs @ 22220:a3a14b57321e

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.core.resources.prefs@8f0b2da0ea04