log mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 4283:a9a63d4b0414

age author description
Wed, 11 Jan 2012 15:14:45 +0100 Doug Simon Moved IDE project configuration into mx.py. base mx/org.eclipse.jdt.core.prefs@e99cf8a6fb36