]> source.dussan.org Git - jgit.git/commit
Remove unused API problem filters 01/204001/1
authorMatthias Sohn <matthias.sohn@sap.com>
Thu, 31 Aug 2023 12:46:38 +0000 (14:46 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Thu, 31 Aug 2023 12:46:38 +0000 (14:46 +0200)
commit807cf678a05e6da2bd7d483a21c1e87229cd99a0
treefb1ff824d620f349b661aa0fff4c07c53abf53e2
parent02b45a844c71b8fbc22423ea551c7461a1d12bff
Remove unused API problem filters

Change-Id: I96b73a948794ab5aaadaa558ae75b512f54d64fe
org.eclipse.jgit.junit.ssh/.settings/.api_filters [deleted file]