From 395e072a340592855580c1b17dccd9dccb2d8b92 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Sun, 16 Jun 2019 02:25:33 +0200 Subject: Delete unused API problem filters Change-Id: Id8dcc337aab4ec6a11a2bb60b85d0db42986b80b Signed-off-by: Matthias Sohn --- org.eclipse.jgit/.settings/.api_filters | 183 -------------------------------- 1 file changed, 183 deletions(-) delete mode 100644 org.eclipse.jgit/.settings/.api_filters (limited to 'org.eclipse.jgit') diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters deleted file mode 100644 index fc326d4462..0000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,183 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -- cgit v1.2.3