diff options
| author | playerskel <97991990+playerskel@users.noreply.github.com> | 2023-02-26 17:26:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-26 17:26:07 +0100 |
| commit | 9f0b7bb8a3e84cedbe2eca82450113fe3b5b9b98 (patch) | |
| tree | 224e14f2226b33bad47c7f1e1a261e6aa754b810 /docs | |
| parent | 9f09505d34619883748a7dab05071883281c14fd (diff) | |
another round of trailing whitespaces (#1495)
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/vscode.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/vscode.md b/docs/vscode.md index 45ad9097d..efd8e8b60 100644 --- a/docs/vscode.md +++ b/docs/vscode.md @@ -1,6 +1,6 @@ # VSCode -A lot of people on this project use VSCode as their coding environment. +A lot of people on this project use VSCode as their coding environment. ## Extensions @@ -23,7 +23,7 @@ There are a number of useful extensions available to make work more efficient: - Ctrl + P offers a box to use to search for and open files. - Ctrl + Shift + P offers a box for commands like editing settings or reloading the window. -- Make use of VSCode's search/search-and-replace features. +- Make use of VSCode's search/search-and-replace features. - Ctrl + Click goes to a definition. - Ctrl + F for search in current file - Ctrl + H for replace in current file |