Suppress API error for new constant Ref.UNDEFINED_UPDATE_INDEX

Change-Id: If8f7c9cc4b78ce2de29b0d93f2b98c2d0dd1eb3d
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
This commit is contained in:
Matthias Sohn 2019-03-30 08:17:49 +01:00
parent 9d97d2404f
commit 04b84dbd74
1 changed files with 8 additions and 0 deletions

View File

@ -1,5 +1,13 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<component id="org.eclipse.jgit" version="2">
<resource path="src/org/eclipse/jgit/lib/Ref.java" type="org.eclipse.jgit.lib.Ref">
<filter id="403767336">
<message_arguments>
<message_argument value="org.eclipse.jgit.lib.Ref"/>
<message_argument value="UNDEFINED_UPDATE_INDEX"/>
</message_arguments>
</filter>
</resource>
<resource path="src/org/eclipse/jgit/transport/Transport.java" type="org.eclipse.jgit.transport.Transport">
<filter comment="Marked as final since overriding a deprecated stub is likely a mistake" id="421654647">
<message_arguments>