lukaseder bd3ca03e6b [#3840] Cleanup and documentation		2014-12-03 15:44:20 +01:00
..
org.eclipse.core.resources.prefs	[#3840] Cleanup and documentation	2014-12-03 15:44:20 +01:00
org.eclipse.core.runtime.prefs
org.eclipse.jdt.core.prefs
org.eclipse.jdt.ui.prefs
org.eclipse.m2e.core.prefs
org.maven.ide.eclipse.prefs