From 5b7be296d2e2465ec4fdff4b7ea11b0bcdcbe902 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Mon, 4 Nov 2019 13:28:23 +0100 Subject: [PATCH] Remove unused API problem filters Change-Id: I0ae0fd4919b7ccc5218c6eb0fab22350bb9c9714 Signed-off-by: Matthias Sohn --- org.eclipse.jgit/.settings/.api_filters | 28 ------------------------- 1 file changed, 28 deletions(-) diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters index 77b766293..56edd61d7 100644 --- a/org.eclipse.jgit/.settings/.api_filters +++ b/org.eclipse.jgit/.settings/.api_filters @@ -43,11 +43,6 @@ - - - - - @@ -139,13 +134,6 @@ - - - - - - - @@ -183,13 +171,6 @@ - - - - - - - @@ -243,15 +224,6 @@ - - - - - - - - -