From be33cd40b2dcae1aaee0d9adec9148e5783f2dba Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Wed, 28 Aug 2024 17:15:19 +0200 Subject: [PATCH] Remove unused API warning filters Change-Id: If5cfd8963db0699669be3594e844e14d38f97943 --- org.eclipse.jgit/.settings/.api_filters | 19 ------------------- 1 file changed, 19 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 50a04d20f0..0000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,19 +0,0 @@ - - - - - - - - - - - - - - - - - - - -- 2.39.5