Michael Peter Christen 6b66bb7109 redesign of search page integration menu structure		2014-03-31 03:18:38 +02:00
..
org.eclipse.jdt.core.prefs	redesign of search page integration menu structure	2014-03-31 03:18:38 +02:00
org.eclipse.jdt.ui.prefs	Recommended cleanup (please, one day, execute this cleanup)	2013-07-17 18:26:50 +02:00