From c024cb23d8fad6a4aa33d262ae84f76df76591a5 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Tue, 5 Sep 2023 14:10:30 +0200 Subject: [PATCH] Remove unused API problem filters Change-Id: If37ac92711cef94a835cfd303997a3d129d212ac --- org.eclipse.jgit/.settings/.api_filters | 33 ------------------------- 1 file changed, 33 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 37dce9178..000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,33 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -