Markus Schorn cf08c60eda Bug 299911: Increment plugin and pdom version.		2012-06-26 07:44:40 +02:00
..
org.eclipse.core.resources.prefs	Fix for 150075, progress indication for indexer	2006-11-09 15:09:21 +00:00
org.eclipse.jdt.core.prefs	Switched to Java 1.6.	2011-10-17 18:04:17 -07:00
org.eclipse.jdt.ui.prefs	Formatter settings.	2009-01-28 14:02:27 +00:00
org.eclipse.pde.api.tools.prefs	show malformed API tooling tags as error	2010-02-08 03:16:30 +00:00