jgit/org.eclipse.jgit/.settings
Matthias Sohn b3cc05d886 Remove unused API filters
Change-Id: I1e00d71395228265aad4071b023024ee1bf855d5
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
2017-04-09 23:43:43 +02:00
..
.api_filters Remove unused API filters 2017-04-09 23:43:43 +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 Harmonize the JDT settings within JGit 2012-11-16 10:25:45 -08:00
org.eclipse.mylyn.tasks.ui.prefs
org.eclipse.mylyn.team.ui.prefs
org.eclipse.pde.api.tools.prefs
org.eclipse.pde.core.prefs