From 7854122b921d089b5877a8a8ff527a82c499feba Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Fri, 12 Aug 2022 10:44:12 +0200 Subject: [PATCH] Remove unused API problem filters Change-Id: Ib6689f545585bd59b8fc06ca3a104080021424d6 --- org.eclipse.jgit/.settings/.api_filters | 31 ------------------------- 1 file changed, 31 deletions(-) diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters index b517849555..11ca369326 100644 --- a/org.eclipse.jgit/.settings/.api_filters +++ b/org.eclipse.jgit/.settings/.api_filters @@ -1,28 +1,5 @@ - - - - - - - - - - - - - - - - - - - - - - - @@ -82,14 +59,6 @@ - - - - - - - - -- 2.39.5