k-9/tools/eclipse-settings
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