Skip to content

add launch options for integrated and external terminal for all OS's, and make...

Henriette Andersen requested to merge integrated-terminal into master

add launch options for integrated and external terminal for all OS's, and make the names consistent over all OS's.

Merge request reports