log mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 4316:b4b16e4e043f

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