Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

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

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

Rename "Integrated Console" to "Extension Terminal" #4090
andyleejordan merged 2 commits intomain from
andschwa/rename-terminal

Commits

Commits on Jul 22, 2022

Commits on Jul 25, 2022

AltStyle によって変換されたページ (->オリジナル) /