diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2015-11-21 00:18:14 +0100 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2015-11-20 18:19:35 -0500 |
| commit | a6bcc988e06d4ef041e9c0efe7232cc4a5648374 (patch) | |
| tree | 526c9a56aba61d62cc21f0106f59dc433065c5b6 /org.eclipse.jgit/.settings | |
| parent | faf13bb90b43a7a6399776b1caff5bd076185af0 (diff) | |
| download | jgit-a6bcc988e06d4ef041e9c0efe7232cc4a5648374.tar.gz jgit-a6bcc988e06d4ef041e9c0efe7232cc4a5648374.zip | |
Remove no longer needed outdated API warning filter
This fixes a warning saying this filter isn't needed anymore.
Change-Id: If77056378befe86c1773950dbe48a82c833fd532
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit/.settings')
| -rw-r--r-- | org.eclipse.jgit/.settings/.api_filters | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters index e98e360f7c..b89aad4c59 100644 --- a/org.eclipse.jgit/.settings/.api_filters +++ b/org.eclipse.jgit/.settings/.api_filters @@ -21,12 +21,6 @@ <message_argument value="createAttributesNodeProvider()"/> </message_arguments> </filter> - <filter id="336695337"> - <message_arguments> - <message_argument value="org.eclipse.jgit.lib.Repository"/> - <message_argument value="newAttributesNodeProvider()"/> - </message_arguments> - </filter> </resource> <resource path="src/org/eclipse/jgit/transport/PushCertificate.java" type="org.eclipse.jgit.transport.PushCertificate"> <filter comment="PushCertificate wasn't really usable in 4.0" id="338722907"> |