Skip to content

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

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

Commits

Commits on Jul 25, 2022