From bee9796abb947007550e3be106861fdf12f0af6e Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Tue, 14 May 2024 16:33:04 +0200 Subject: Remove unused API problem filters Change-Id: I12e4d0fd48b5b7420d421874c8d63caed9628266 --- org.eclipse.jgit/.settings/.api_filters | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 org.eclipse.jgit/.settings/.api_filters (limited to 'org.eclipse.jgit/.settings') 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 @@ - - - - - - - - - - - - - - - - - - - -- cgit v1.2.3