From 244165fc56bd7b15d01f37496a1a5039b4ead300 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Fri, 13 Oct 2023 00:18:59 +0200 Subject: [PATCH] Remove unused API problem filters Change-Id: I9d5b96cf841478af8613667ef8574423630f8028 --- .../.settings/.api_filters | 17 -- org.eclipse.jgit/.settings/.api_filters | 206 ------------------ 2 files changed, 223 deletions(-) delete mode 100644 org.eclipse.jgit.http.server/.settings/.api_filters delete mode 100644 org.eclipse.jgit/.settings/.api_filters diff --git a/org.eclipse.jgit.http.server/.settings/.api_filters b/org.eclipse.jgit.http.server/.settings/.api_filters deleted file mode 100644 index 951a53bf3..000000000 --- a/org.eclipse.jgit.http.server/.settings/.api_filters +++ /dev/null @@ -1,17 +0,0 @@ - - - - - - - - - - - - - - - - - diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters deleted file mode 100644 index caf331143..000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,206 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -