From 0f7d485bc9b21669d41ae141c8b384e317ac5609 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Mon, 15 May 2023 22:59:55 +0200 Subject: [PATCH] Remove unused API filters Change-Id: I1971b31753fd4c3568016e7db955cce8e391a1e0 --- org.eclipse.jgit/.settings/.api_filters | 148 ------------------------ 1 file changed, 148 deletions(-) diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters index 631dc6581d..75697fd88a 100644 --- a/org.eclipse.jgit/.settings/.api_filters +++ b/org.eclipse.jgit/.settings/.api_filters @@ -14,161 +14,13 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -- 2.39.5