From 807cf678a05e6da2bd7d483a21c1e87229cd99a0 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Thu, 31 Aug 2023 14:46:38 +0200 Subject: [PATCH] Remove unused API problem filters Change-Id: I96b73a948794ab5aaadaa558ae75b512f54d64fe --- .../.settings/.api_filters | 27 ------------------- 1 file changed, 27 deletions(-) delete mode 100644 org.eclipse.jgit.junit.ssh/.settings/.api_filters diff --git a/org.eclipse.jgit.junit.ssh/.settings/.api_filters b/org.eclipse.jgit.junit.ssh/.settings/.api_filters deleted file mode 100644 index 796b641700..0000000000 --- a/org.eclipse.jgit.junit.ssh/.settings/.api_filters +++ /dev/null @@ -1,27 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - -- 2.39.5