Adrien Grand f5306ef8c1 Update Eclipse configuration to Java 1.7.		2014-02-27 22:41:40 +01:00
..
org.eclipse.core.resources.prefs	Put Eclipse settings in the root directory.	2013-06-26 16:51:47 +02:00
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	Update Eclipse template to use the new license header.	2014-01-07 12:15:19 +01:00