1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-25 09:55:29 +02:00
cdt/plugins/org.eclipse.tm.terminal.connector.ssh
Martin Oberhuber 257a90f410 [Releng] Update Terminal version to 4.2
Change-Id: I5524741a709c0c5cdd8860561de0992ff9aa75b6
2016-09-19 16:34:33 +02:00
..
.settings Update "Save Actions" to not remove unnecessary cast 2015-05-07 09:19:09 +02:00
META-INF [Releng] Update Terminal version to 4.2 2016-09-19 16:34:33 +02:00
src/org/eclipse/tm/terminal/connector/ssh SSH Terminal: Default user stored if "Save user" is checked. 2015-09-02 10:13:21 -04:00
.classpath Terminal: Merge terminal connector plug-ins and rework terminal feature 2015-04-17 11:19:19 +02:00
.gitignore Terminal: Merge terminal connector plug-ins and rework terminal feature 2015-04-17 11:19:19 +02:00
.options fix tracing options 2015-05-08 17:21:40 +02:00
.project Releng: Add API Tooling to Terminal 2015-09-04 16:18:30 +02:00
about.html Terminal: Merge terminal connector plug-ins and rework terminal feature 2015-04-17 11:19:19 +02:00
build.properties Releng: Run fix copyrights 2015-04-21 10:52:37 +02:00
plugin.properties Bugzilla 466892 - Releng: Slight inconsistency in user-visible plug-in 2015-05-10 16:44:50 +02:00
plugin.xml UI: Review view category names and view names 2015-05-07 08:54:55 +02:00
pom.xml [Releng] Update Terminal version to 4.2 2016-09-19 16:34:33 +02:00