11503 terminal profile api 2#60

tsmaeder wants to merge 4 commits into

eclipsesource:mastereclipsesource/theia:masterfrom

tsmaeder:11503_terminal_profile_api_2tsmaeder/theia:11503_terminal_profile_api_2Copy head branch name to clipboard