Alena Laskavaia 7b9acc4aae location should support placing markers on any resource not only file		2010-07-22 02:28:12 +00:00
..
.api_filters	location should support placing markers on any resource not only file	2010-07-22 02:28:12 +00:00
org.eclipse.jdt.core.prefs	Bug 279740: Javadoc for APIs	2010-05-31 02:53:25 +00:00
org.eclipse.jdt.ui.prefs	Cleaned up problem preferences interfaces and fixed persistence	2010-05-16 02:18:02 +00:00
org.eclipse.pde.api.tools.prefs	enabled API checks	2010-06-17 00:56:57 +00:00