From 656e32e9f23f821885ce794cadb2d63a4074bc81 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Thu, 22 Sep 2022 16:34:36 +0200 Subject: [PATCH] Remove unused API filters Change-Id: Ief32f935c701842f03b173ee48465d7dcf7dfabd --- org.eclipse.jgit/.settings/.api_filters | 78 ------------------------- 1 file changed, 78 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 11ca369326..0000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,78 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -- 2.39.5