From 7803c25f5412c6fe12ba26e4df0265322522d582 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Mon, 4 Jul 2016 00:49:24 +0200 Subject: [PATCH] Remove no longer needed API problem filters Change-Id: I2332ce2f29e105b60b62a9a6fc7d4656a0c89343 Signed-off-by: Matthias Sohn --- org.eclipse.jgit/.settings/.api_filters | 40 ------------------------- 1 file changed, 40 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 c0dbc779f3..0000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,40 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -- 2.39.5