From 37c7fbd661085f28252580479129a996a9f3b0f1 Mon Sep 17 00:00:00 2001 From: David Pursehouse Date: Wed, 10 Oct 2018 08:57:03 +0900 Subject: [PATCH] Remove unused API problem filters Change-Id: I4fb1d2cf1cea92dd314edc776ddbaa6640c99cf1 Signed-off-by: David Pursehouse --- org.eclipse.jgit/.settings/.api_filters | 27 ------------------------- 1 file changed, 27 deletions(-) delete mode 100644 org.eclipse.jgit/.settings/.api_filters diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters deleted file mode 100644 index e4b7ba7794..0000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,27 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - -- 2.39.5