From e795c3441db3ee9fbffbe9164a686fdb3cb77885 Mon Sep 17 00:00:00 2001 From: Alexander Kurtakov Date: Fri, 21 Dec 2018 21:13:27 +0200 Subject: [PATCH] Remove unneeded empty plugin.xml file. Change-Id: Id958a97ab5fe51433907bed539ee2037c308ec89 Signed-off-by: Alexander Kurtakov --- bundles/org.eclipse.launchbar.remote.ui/build.properties | 3 +-- bundles/org.eclipse.launchbar.remote.ui/plugin.xml | 5 ----- 2 files changed, 1 insertion(+), 7 deletions(-) delete mode 100644 bundles/org.eclipse.launchbar.remote.ui/plugin.xml diff --git a/bundles/org.eclipse.launchbar.remote.ui/build.properties b/bundles/org.eclipse.launchbar.remote.ui/build.properties index e9863e281ea..34d2e4d2dad 100644 --- a/bundles/org.eclipse.launchbar.remote.ui/build.properties +++ b/bundles/org.eclipse.launchbar.remote.ui/build.properties @@ -1,5 +1,4 @@ source.. = src/ output.. = bin/ bin.includes = META-INF/,\ - .,\ - plugin.xml + . diff --git a/bundles/org.eclipse.launchbar.remote.ui/plugin.xml b/bundles/org.eclipse.launchbar.remote.ui/plugin.xml deleted file mode 100644 index 5535690d377..00000000000 --- a/bundles/org.eclipse.launchbar.remote.ui/plugin.xml +++ /dev/null @@ -1,5 +0,0 @@ - - - - -