From 010a14f24dd6982cf67df45ad71c87c666884381 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Sun, 16 Jul 2023 15:13:05 +0200 Subject: [PATCH] Remove unused API problem filters Change-Id: Iea5fb0bf7b2c6a14d7d8b55558f6e78d3fd523f1 --- org.eclipse.jgit/.settings/.api_filters | 38 ------------------------- 1 file changed, 38 deletions(-) diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters index 542928a2f8..253ef37686 100644 --- a/org.eclipse.jgit/.settings/.api_filters +++ b/org.eclipse.jgit/.settings/.api_filters @@ -1,27 +1,5 @@ - - - - - - - - - - - - - - - - - - - - - - @@ -36,20 +14,4 @@ - - - - - - - - - - - - - - - - -- 2.39.5