Markus Schorn fe82449225 Remove obsolete API filter (API tooling has been fixed).		2011-02-16 13:59:08 +00: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	Bug 327878: Identifying unknown instances in index.	2010-10-20 08:50:37 +00: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