diff --git a/launch/org.eclipse.cdt.launch/plugin.xml b/launch/org.eclipse.cdt.launch/plugin.xml index 22841d6b411..c9b7fac6f0b 100644 --- a/launch/org.eclipse.cdt.launch/plugin.xml +++ b/launch/org.eclipse.cdt.launch/plugin.xml @@ -81,16 +81,18 @@ - - - - + ifEmpty="false"> + + + + + + + + @@ -139,7 +141,9 @@ - + +