1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-24 09:25:31 +02:00
cdt/terminal/plugins/org.eclipse.tm.terminal.view.ui
Jonah Graham a1201a811a Bug 567810: Squash over zealous warning from PDE
See also Bug 558477

Change-Id: I0765a2a49dc77e2f24af787b0f9a1e0e1e510a30
2020-10-12 10:14:26 -04:00
..
.settings Bug 567810: Squash over zealous warning from PDE 2020-10-12 10:14:26 -04:00
icons Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
META-INF [releng] Update plug-in versions 2020-10-06 16:20:18 -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 567455 - Stop using the 2020-09-29 19:15:14 +03:00
.classpath Bug 562494: Update BREE to Java 11 2020-08-24 17:50:56 -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 551817: Fix legal docs - and automate their checks 2020-08-30 23:15:59 -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 551817: Fix legal docs - and automate their checks 2020-08-30 23:15:59 -04: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