From 04b84dbd7489317e824f2f1e0f4d22244cb24028 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Sat, 30 Mar 2019 08:17:49 +0100 Subject: [PATCH] Suppress API error for new constant Ref.UNDEFINED_UPDATE_INDEX Change-Id: If8f7c9cc4b78ce2de29b0d93f2b98c2d0dd1eb3d Signed-off-by: Matthias Sohn --- org.eclipse.jgit/.settings/.api_filters | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters index 3d24d247b..9392534b1 100644 --- a/org.eclipse.jgit/.settings/.api_filters +++ b/org.eclipse.jgit/.settings/.api_filters @@ -1,5 +1,13 @@ + + + + + + + +