From 65ac9f2c2fd365e336f26616151ad3ca34c033f0 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Tue, 22 Dec 2020 10:50:59 +0100 Subject: Revert "Remove unused API problem filters" This reverts commit 022b02dea10612cb01f9694212b72bd1bbd69cb9. Removing this API warning filter was wrong since we intentionally removed the config constant CONFIG_REFSTORAGE_REFTREE. Change-Id: Ie068e539157cc2312efc8a07feabeb0dd2f75096 Signed-off-by: Matthias Sohn --- org.eclipse.jgit/.settings/.api_filters | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 org.eclipse.jgit/.settings/.api_filters (limited to 'org.eclipse.jgit/.settings') diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters new file mode 100644 index 0000000000..8f1433cf55 --- /dev/null +++ b/org.eclipse.jgit/.settings/.api_filters @@ -0,0 +1,11 @@ + + + + + + + + + + + -- cgit v1.2.3