]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 022b02d) | patch
Revert "Remove unused API problem filters" 49/174049/1
authorMatthias Sohn <matthias.sohn@sap.com>
Tue, 22 Dec 2020 09:50:59 +0000 (10:50 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 22 Dec 2020 09:52:10 +0000 (10:52 +0100)
commit65ac9f2c2fd365e336f26616151ad3ca34c033f0
treeb19a8c8ec9edf86c44b57e49deb23b67aee96978tree | snapshot
parent022b02dea10612cb01f9694212b72bd1bbd69cb9commit | diff
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>
org.eclipse.jgit/.settings/.api_filters [new file with mode: 0644] blob
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit