]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bcc327d) | patch
Revert "Remove unused API problem filters" 31/130731/1
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 10 Oct 2018 09:26:00 +0000 (11:26 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 10 Oct 2018 09:28:16 +0000 (11:28 +0200)
commitde8de3bbd48024b3cffa5510dff0d52b0a237bfc
tree554e6b36c436075056645e46572ddd0b1dfe7549tree | snapshot
parentbcc327df3ba78b615bb144395bd23951ed9b9d52commit | diff
Revert "Remove unused API problem filters"

This reverts commit 37c7fbd661085f28252580479129a996a9f3b0f1.

These filters weren't unused. Without them Eclipse raises 4 API errors.

Change-Id: I5ce443d40b5f517be4a315479e81246d40af1983
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