log mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 4269:ffd5ce8fc736

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.ui.prefs@8bdf22b741bf