diff options
Diffstat (limited to 'terminal')
-rw-r--r-- | terminal/org.eclipse.tm.terminal.local-feature/feature.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/terminal/org.eclipse.tm.terminal.local-feature/feature.xml b/terminal/org.eclipse.tm.terminal.local-feature/feature.xml index ef0813f32..3bec9e273 100644 --- a/terminal/org.eclipse.tm.terminal.local-feature/feature.xml +++ b/terminal/org.eclipse.tm.terminal.local-feature/feature.xml @@ -35,6 +35,7 @@ </url> <requires> + <import feature="org.eclipse.cdt.platform" version="7.0.0" match="greaterOrEqual"/> <import plugin="org.eclipse.cdt.core" version="5.2.0" match="compatible"/> <import plugin="org.eclipse.core.runtime"/> <import plugin="org.eclipse.debug.core"/> |