From de8de3bbd48024b3cffa5510dff0d52b0a237bfc Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Wed, 10 Oct 2018 11:26:00 +0200 Subject: [PATCH] Revert "Remove unused API problem filters" This reverts commit 37c7fbd661085f28252580479129a996a9f3b0f1. These filters weren't unused. Without them Eclipse raises 4 API errors. Change-Id: I5ce443d40b5f517be4a315479e81246d40af1983 Signed-off-by: Matthias Sohn --- org.eclipse.jgit/.settings/.api_filters | 27 +++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 org.eclipse.jgit/.settings/.api_filters diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters new file mode 100644 index 000000000..e4b7ba779 --- /dev/null +++ b/org.eclipse.jgit/.settings/.api_filters @@ -0,0 +1,27 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + +