From: Matthias Sohn Date: Tue, 14 May 2024 14:33:04 +0000 (+0200) Subject: Remove unused API problem filters X-Git-Tag: v6.10.0.202405212237-m3~7^2 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=bee9796abb947007550e3be106861fdf12f0af6e;p=jgit.git Remove unused API problem filters Change-Id: I12e4d0fd48b5b7420d421874c8d63caed9628266 --- diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters deleted file mode 100644 index dda62f22a3..0000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,19 +0,0 @@ - - - - - - - - - - - - - - - - - - -