diff options
| author | Marco Syfrig <marco.syfrig+github@gmail.com> | 2020-08-04 04:49:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-03 19:49:26 -0700 |
| commit | fb297a564487b6779d6abbed9c86817b8ac66da6 (patch) | |
| tree | a96a27d20f84c0a204fa3c71381e1fbb86efd3da /docs/index.html | |
| parent | 2c9e210c36a7d145b21bc59350b76b3bacbc3beb (diff) | |
[Docs] small text and formatting fixes in vscode manual (#9156)
* small text and formatting fixes in vscode manual
fix double opening <kbd> tags for correct formatting
expand two points for better understanding
* restored <kbd>, clarified how to open the terminal
restored <kbd> tags that were deleted with the last commit; they are correct as they were to have the whole menu "breadcrumb" nested inside a box
clarified how to open the terminal
escaped backtick for shortcut Ctrl+` as I’ve added backticks for code on the same line
* Update docs/other_vscode.md
Diffstat (limited to 'docs/index.html')
0 files changed, 0 insertions, 0 deletions