Markus Schorn 9dd70eb4bb Bug 299911: Increment plugin and pdom version.		2012-08-14 14:16:19 -07:00
..
org.eclipse.jdt.core.prefs	Switched to Java 1.6.	2011-10-17 18:04:17 -07:00
org.eclipse.jdt.ui.prefs
org.eclipse.pde.api.tools.prefs
org.eclipse.pde.prefs