]> source.dussan.org Git - jgit.git/commit
Remove unused API filters 43/201843/2
authorMatthias Sohn <matthias.sohn@sap.com>
Mon, 15 May 2023 20:59:55 +0000 (22:59 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 17 May 2023 15:01:33 +0000 (17:01 +0200)
commit0f7d485bc9b21669d41ae141c8b384e317ac5609
treea0b9faa7eecc210fc66117cb7a8e63eb8a9b83a0
parent913e6cf3f6c2a28f162831cd64a6273b751b917a
Remove unused API filters

Change-Id: I1971b31753fd4c3568016e7db955cce8e391a1e0
org.eclipse.jgit/.settings/.api_filters