From b17bab31c2fe3f89d842d818194785c9127d13d1 Mon Sep 17 00:00:00 2001 From: David Pursehouse Date: Fri, 14 Sep 2018 11:18:54 +0900 Subject: [PATCH] Remove unused API problem filters Change-Id: Iac95de60df6f2928d491e952a531e8dfa90045f6 Signed-off-by: David Pursehouse --- org.eclipse.jgit/.settings/.api_filters | 21 --------------------- 1 file changed, 21 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 e5f0e2aaf..000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,21 +0,0 @@ - - - - - - - - - - - - - - - - - - - - -