diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2020-12-22 10:50:59 +0100 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2020-12-22 10:52:10 +0100 |
| commit | 65ac9f2c2fd365e336f26616151ad3ca34c033f0 (patch) | |
| tree | b19a8c8ec9edf86c44b57e49deb23b67aee96978 /org.eclipse.jgit/.settings | |
| parent | 022b02dea10612cb01f9694212b72bd1bbd69cb9 (diff) | |
| download | jgit-65ac9f2c2fd365e336f26616151ad3ca34c033f0.tar.gz jgit-65ac9f2c2fd365e336f26616151ad3ca34c033f0.zip | |
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 <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit/.settings')
| -rw-r--r-- | org.eclipse.jgit/.settings/.api_filters | 11 |
1 files changed, 11 insertions, 0 deletions
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 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<component id="org.eclipse.jgit" version="2"> + <resource path="src/org/eclipse/jgit/lib/ConfigConstants.java" type="org.eclipse.jgit.lib.ConfigConstants"> + <filter id="338755678"> + <message_arguments> + <message_argument value="org.eclipse.jgit.lib.ConfigConstants"/> + <message_argument value="CONFIG_REFSTORAGE_REFTREE"/> + </message_arguments> + </filter> + </resource> +</component> |