]> source.dussan.org Git - jgit.git/commitdiff
Remove unused API warning filters 48/1200148/1
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 28 Aug 2024 15:15:19 +0000 (17:15 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 28 Aug 2024 19:46:37 +0000 (21:46 +0200)
Change-Id: If5cfd8963db0699669be3594e844e14d38f97943

org.eclipse.jgit/.settings/.api_filters [deleted file]

diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters
deleted file mode 100644 (file)
index 50a04d2..0000000
+++ /dev/null
@@ -1,19 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<component id="org.eclipse.jgit" version="2">
-    <resource path="src/org/eclipse/jgit/gitrepo/RepoProject.java" type="org.eclipse.jgit.gitrepo.RepoProject">
-        <filter id="1141899266">
-            <message_arguments>
-                <message_argument value="7.0"/>
-                <message_argument value="6.10"/>
-                <message_argument value="getDestBranch()"/>
-            </message_arguments>
-        </filter>
-        <filter id="1141899266">
-            <message_arguments>
-                <message_argument value="7.0"/>
-                <message_argument value="6.10"/>
-                <message_argument value="setDestBranch(String)"/>
-            </message_arguments>
-        </filter>
-    </resource>
-</component>