1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-03 22:35:43 +02:00
cdt/terminal/plugins/org.eclipse.tm.terminal.view.ui
Dirk Fauth a1a3b357ec Bug 565461 - Contribute "Show in Local Terminal" to Bndtools Explorer
Change-Id: Ia9edd87e7594bf5def0e511c34694e4098c64529
Signed-off-by: Dirk Fauth <dirk.fauth@googlemail.com>
2020-07-30 04:33:07 -04:00
..
.settings Bug 559474: Normalize .settings 2020-01-31 12:20:41 -05:00
icons Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
META-INF Bug 527055: Save terminal settings even when there is only one terminal type 2020-05-10 10:58:03 -04:00
schema Bug 538094 - update to EPL 2.0 (leave EDL 1.0 unchanged) 2018-11-01 12:21:58 -04:00
src/org/eclipse/tm/terminal/view/ui Bug 522289: Handle case of no terminal connectors available 2020-06-04 17:44:20 -04:00
.classpath Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
.gitignore Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
.options Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
.project Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
about.html Bug 538094 - update to EPL 2.0 (leave EDL 1.0 unchanged) 2018-11-01 12:21:58 -04:00
about.ini Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
about.mappings Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
about.properties Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
build.properties Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
cdt_logo_icon32.png Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
contexts.xml Bug 538094 - update to EPL 2.0 (leave EDL 1.0 unchanged) 2018-11-01 12:21:58 -04:00
plugin.properties Bug 559474: Correct feature and bundle provider names 2020-01-31 13:22:20 -05:00
plugin.xml Bug 565461 - Contribute "Show in Local Terminal" to Bndtools Explorer 2020-07-30 04:33:07 -04:00