diff --git a/debug/org.eclipse.cdt.debug.mi.ui/plugin.xml b/debug/org.eclipse.cdt.debug.mi.ui/plugin.xml index ddfa6957b1c..9b2d456db97 100644 --- a/debug/org.eclipse.cdt.debug.mi.ui/plugin.xml +++ b/debug/org.eclipse.cdt.debug.mi.ui/plugin.xml @@ -46,6 +46,7 @@ id="org.eclipse.cdt.debug.mi.ui.MIPreferencePage"> +