jgit/org.eclipse.jgit/.settings
Matthias Sohn 5bd9392f96 Remove no longer needed API problem filters
Change-Id: I206682a60ad9228c89efa22f8db9e72e19f17f6d
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
2017-09-06 00:58:09 +02:00
..
.api_filters Remove no longer needed API problem filters 2017-09-06 00:58:09 +02:00
org.eclipse.core.resources.prefs
org.eclipse.core.runtime.prefs
org.eclipse.jdt.core.prefs Enable and fix warnings about redundant specification of type arguments 2017-02-20 22:47:23 +01:00
org.eclipse.jdt.ui.prefs Partially revert c0ad77d8 "Enhance Eclipse save actions" 2017-08-30 03:07:18 +02:00
org.eclipse.mylyn.tasks.ui.prefs
org.eclipse.mylyn.team.ui.prefs
org.eclipse.pde.api.tools.prefs Enforce the use of Java5 API:s only (with a few exceptions) 2011-12-16 01:01:36 +01:00
org.eclipse.pde.core.prefs