log mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 4294:600cbdce9805

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