From 7947b4864de3038118bf61a09b88c08b7fb8388e Mon Sep 17 00:00:00 2001 From: Alexander Kurtakov Date: Fri, 17 Aug 2018 17:12:40 +0300 Subject: Remove unused api_filters. Change-Id: I718d31b5aee785132b3e57f95e997c1e8a1ba5f4 Signed-off-by: Alexander Kurtakov --- org.eclipse.text/.settings/.api_filters | 41 ---------------------- org.eclipse.ui.editors/.settings/.api_filters | 15 -------- .../.settings/.api_filters | 17 --------- 3 files changed, 73 deletions(-) delete mode 100644 org.eclipse.text/.settings/.api_filters delete mode 100644 org.eclipse.ui.genericeditor/.settings/.api_filters diff --git a/org.eclipse.text/.settings/.api_filters b/org.eclipse.text/.settings/.api_filters deleted file mode 100644 index c51603b94ac..00000000000 --- a/org.eclipse.text/.settings/.api_filters +++ /dev/null @@ -1,41 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/org.eclipse.ui.editors/.settings/.api_filters b/org.eclipse.ui.editors/.settings/.api_filters index c45a2f25c37..c062b4ac10e 100644 --- a/org.eclipse.ui.editors/.settings/.api_filters +++ b/org.eclipse.ui.editors/.settings/.api_filters @@ -1,13 +1,5 @@ - - - - - - - - @@ -16,13 +8,6 @@ - - - - - - - diff --git a/org.eclipse.ui.genericeditor/.settings/.api_filters b/org.eclipse.ui.genericeditor/.settings/.api_filters deleted file mode 100644 index 4373b967d3d..00000000000 --- a/org.eclipse.ui.genericeditor/.settings/.api_filters +++ /dev/null @@ -1,17 +0,0 @@ - - - - - - - - - - - - - - - - - -- cgit v1.2.3