From 8bb172acdba86ae590d4057c4fef4f9db8134075 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Sat, 5 Sep 2020 23:25:58 +0200 Subject: [PATCH] Remove unused API problem filters Change-Id: Ice154340e3377e89dc51d40587c8a4c5caec2bcf Signed-off-by: Matthias Sohn --- org.eclipse.jgit/.settings/.api_filters | 73 ------------------------- 1 file changed, 73 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 e2565bd6b..000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,73 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -