Fiouz 27e996b5f7 Don't force Eclipse settings on users ... Ant target to setup the Eclipse .settings directory with predefined settings		2011-06-10 20:25:40 +02:00
..
org.eclipse.core.resources.prefs	Don't force Eclipse settings on users	2011-06-10 20:25:40 +02:00
org.eclipse.jdt.core.prefs	Don't force Eclipse settings on users	2011-06-10 20:25:40 +02:00
org.eclipse.jdt.ui.prefs	Don't force Eclipse settings on users	2011-06-10 20:25:40 +02:00