1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-21 21:52:10 +02:00
cdt/terminal
Jonah Graham 926ff8cdee Bug 559474: Provide unique branding plug-in for each feature
It has been that org.eclipse.tm.terminal.view.feature and
org.eclipse.tm.terminal.feature shared the same feature plugin, which
meant they could not have their own branding.

Change-Id: I5bc48902c0ee93796fd4df7f847a39529bca3f7f
2020-01-31 13:15:51 -05:00
..
admin Bug 559474: Normalize .settings 2020-01-31 12:20:41 -05:00
features Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
plugins Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
.gitignore Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
CONTRIBUTING Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
pom.xml Bug 559474: Integrate tm.terminal into CDT's releng 2020-01-31 12:20:41 -05:00