]> source.dussan.org Git - jgit.git/commit
Remove unused API filters 34/112934/2
authorDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 6 Dec 2017 10:48:36 +0000 (19:48 +0900)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 13 Dec 2017 00:03:55 +0000 (01:03 +0100)
commit2edf66bdd7440f9222e9ca7fcd65dcce56c655bc
treefef139b58916308732b31070b53a67853994f272
parentb46656077ae65fcd407d0668ded909fc99e2526d
Remove unused API filters

Change-Id: Ie8bfa4e8473c2a68a6308de7dbf29ccbca97495d
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
org.eclipse.jgit/.settings/.api_filters [deleted file]