]> source.dussan.org Git - jgit.git/commit
Remove unused API problem filters 71/173371/5
authorMatthias Sohn <matthias.sohn@sap.com>
Fri, 4 Dec 2020 08:42:32 +0000 (09:42 +0100)
committerChristian Halstrick <christian.halstrick@sap.com>
Thu, 17 Dec 2020 17:42:00 +0000 (18:42 +0100)
commit022b02dea10612cb01f9694212b72bd1bbd69cb9
tree985981f65bee27235a339a2daf08d255eef305af
parent23bc9dc71dac196b9db6154a93d21d68c0a0bb06
Remove unused API problem filters

Change-Id: Id533cf598cd37c277b4de06fdd8ae74cfeede4d0
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit/.settings/.api_filters [deleted file]