JanUlrich d6c75463ca Projektstruktur ändern		2014-09-02 10:33:54 +02:00
..
org.eclipse.core.resources.prefs	Projektstruktur ändern	2014-09-02 10:33:54 +02:00
org.eclipse.jdt.core.prefs	Kopie aus dem CVS	2014-02-04 17:44:03 +01:00
org.eclipse.jdt.ui.prefs	Kopie aus dem CVS	2014-02-04 17:44:03 +01:00