Lukas Eder 1adbf989e1 Ignore new Eclipse warning "potential resource leak". It seems to ... enforce a very rigid resource lifecycle handling		2012-12-02 10:29:02 +01:00
..
org.eclipse.core.resources.prefs	Upgraded Eclipse and Plugins	2012-04-22 10:21:42 +02:00
org.eclipse.jdt.core.prefs	Ignore new Eclipse warning "potential resource leak". It seems to	2012-12-02 10:29:02 +01:00
org.eclipse.jdt.ui.prefs
org.eclipse.m2e.core.prefs	Upgraded Eclipse and Plugins	2012-04-22 10:21:42 +02:00
org.maven.ide.eclipse.prefs