Skip to content

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

Merged
andyleejordan merged 1 commit intomainfrom
andschwa/rename-terminal
Jul 25, 2022
Merged

Rename "Integrated Console" to "Extension Terminal"#1860
andyleejordan merged 1 commit intomainfrom
andschwa/rename-terminal

Commits

Commits on Jul 25, 2022