From d44ce061ab43bf23e6de0f956df7f1c2c5a11d46 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Tue, 19 Nov 2024 13:05:25 +0100 Subject: [PATCH] Remove unused API problem filters Change-Id: I8f5d2f6f1c6244f1b49fee713f7a06c0e9ec549b --- org.eclipse.jgit/.settings/.api_filters | 53 ------------------------- 1 file changed, 53 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 aed6683062..0000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,53 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -- 2.39.5