From 6ee2ce252505237ab2645452a5f1f40142f46e4a Mon Sep 17 00:00:00 2001 From: Jonah Graham Date: Wed, 8 Feb 2023 20:22:28 -0500 Subject: [PATCH] Fix missing plugin.properties --- launch/org.eclipse.cdt.docker.launcher.tests/build.properties | 3 ++- launch/org.eclipse.cdt.docker.launcher.tests/plugin.properties | 0 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 launch/org.eclipse.cdt.docker.launcher.tests/plugin.properties diff --git a/launch/org.eclipse.cdt.docker.launcher.tests/build.properties b/launch/org.eclipse.cdt.docker.launcher.tests/build.properties index 9cbab3c135e..cdd2db7f1f5 100644 --- a/launch/org.eclipse.cdt.docker.launcher.tests/build.properties +++ b/launch/org.eclipse.cdt.docker.launcher.tests/build.properties @@ -2,5 +2,6 @@ source.. = src/ output.. = bin/ bin.includes = META-INF/,\ .,\ - about.html + about.html,\ + plugin.properties src.includes = about.html diff --git a/launch/org.eclipse.cdt.docker.launcher.tests/plugin.properties b/launch/org.eclipse.cdt.docker.launcher.tests/plugin.properties new file mode 100644 index 00000000000..e69de29bb2d