From 84ed57d2f63307437492f3a2c9b60ce7737b96e6 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Fri, 12 Mar 2021 00:30:14 +0100 Subject: [PATCH] Remove unused API problem filters Change-Id: I34be8afa42971b94d86312ff8b672b133cd23d45 Signed-off-by: Matthias Sohn --- .../.settings/.api_filters | 11 ---- org.eclipse.jgit/.settings/.api_filters | 57 ------------------- 2 files changed, 68 deletions(-) delete mode 100644 org.eclipse.jgit.archive/.settings/.api_filters delete mode 100644 org.eclipse.jgit/.settings/.api_filters diff --git a/org.eclipse.jgit.archive/.settings/.api_filters b/org.eclipse.jgit.archive/.settings/.api_filters deleted file mode 100644 index f4a934aeb..000000000 --- a/org.eclipse.jgit.archive/.settings/.api_filters +++ /dev/null @@ -1,11 +0,0 @@ - - - - - - - - - - - diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters deleted file mode 100644 index d389ac588..000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,57 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -