mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-06-09 18:56:02 +02:00
Mirror of https://github.com/eclipse-cdt/cdt
![]() https://bugs.eclipse.org/bugs/show_bug.cgi?id=168183 The contexd ID defined in the plugin.xml was not used in the terminal |
||
---|---|---|
org.eclipse.tm.terminal | ||
org.eclipse.tm.terminal-feature | ||
org.eclipse.tm.terminal.sdk-feature | ||
org.eclipse.tm.terminal.serial | ||
org.eclipse.tm.terminal.serial-feature | ||
org.eclipse.tm.terminal.ssh | ||
org.eclipse.tm.terminal.ssh-feature | ||
org.eclipse.tm.terminal.view | ||
org.eclipse.tm.terminal.view-feature |