log mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 4577:bc8b58c11768

age author description
Fri, 27 Jan 2012 17:07:03 +0100 Lukas Stadler misc cleanup
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