diff --git a/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml b/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml index bf00fca1a1f..0fc77597f03 100644 --- a/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml +++ b/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.xml @@ -164,6 +164,7 @@ valueType="string"> @@ -603,6 +607,7 @@ valueType="boolean"> @@ -1231,7 +1239,9 @@ valueType="boolean">