]> source.dussan.org Git - jgit.git/commit
Remove unused API problem filters 00/204900/1
authorMatthias Sohn <matthias.sohn@sap.com>
Thu, 12 Oct 2023 22:18:59 +0000 (00:18 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Thu, 12 Oct 2023 22:18:59 +0000 (00:18 +0200)
commit244165fc56bd7b15d01f37496a1a5039b4ead300
treec30b9e16a2b8d2a416dfca9debcb15dfc4ae8ac4
parentf103a1d5c605f5f4545050c1176a9a202151f942
Remove unused API problem filters

Change-Id: I9d5b96cf841478af8613667ef8574423630f8028
org.eclipse.jgit.http.server/.settings/.api_filters [deleted file]
org.eclipse.jgit/.settings/.api_filters [deleted file]