From: Matthias Sohn Date: Sun, 16 Jul 2023 13:13:05 +0000 (+0200) Subject: Remove unused API problem filters X-Git-Tag: v6.7.0.202308011830-m2~20 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=010a14f24dd6982cf67df45ad71c87c666884381;p=jgit.git Remove unused API problem filters Change-Id: Iea5fb0bf7b2c6a14d7d8b55558f6e78d3fd523f1 --- 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 @@ - - - - - - - - - - - - - - - -