Skip to content

Rename "Integrated Console" to "Extension Terminal"#4090

Merged
andyleejordan merged 2 commits intomainfrom
andschwa/rename-terminal
Jul 25, 2022

Commits

Commits on Jul 22, 2022

Commits on Jul 25, 2022