Adrien Grand f5306ef8c1 Update Eclipse configuration to Java 1.7.		2014-02-27 22:41:40 +01:00
..
org.eclipse.core.resources.prefs	…
org.eclipse.jdt.core.prefs	Update Eclipse configuration to Java 1.7.	2014-02-27 22:41:40 +01:00
org.eclipse.jdt.ui.prefs	…