]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db5cc02) | patch
Remove unused API problem filters 17/130717/2
authorDavid Pursehouse <david.pursehouse@gmail.com>
Tue, 9 Oct 2018 23:57:03 +0000 (08:57 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 10 Oct 2018 00:59:23 +0000 (20:59 -0400)
commit37c7fbd661085f28252580479129a996a9f3b0f1
tree0abd7a8342a82a10af282b6a5bb989e802420a80tree | snapshot
parentdb5cc027fd86e775c50a02477e0e96b536ef285ccommit | diff
Remove unused API problem filters

Change-Id: I4fb1d2cf1cea92dd314edc776ddbaa6640c99cf1
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
org.eclipse.jgit/.settings/.api_filters [deleted file] blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit