From 2de33d7678ffe865e44fc5007ee5fc59afa03404 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Wed, 3 Feb 2016 10:39:08 +0100 Subject: [PATCH] Remove unused API problem filters Change-Id: I8b1c99b108b4cea6356e0a62e6bfc0731df44cf5 Signed-off-by: Matthias Sohn --- org.eclipse.jgit/.settings/.api_filters | 116 ------------------------ 1 file changed, 116 deletions(-) delete mode 100644 org.eclipse.jgit/.settings/.api_filters diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters deleted file mode 100644 index 36041f8144..0000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,116 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -- 2.39.5