diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-18 18:33:31 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-09-18 18:33:31 +0100 |
| commit | c35ef7e1ed97172ab644248185b75dceebb0d35a (patch) | |
| tree | 092305b87b4ea35b5b88c38dba9b774ea4756bf3 /docs | |
| parent | 9dd1dcf5ac3f9f28da2e7bbec22adbc8fe811065 (diff) | |
| parent | 8c2f81fdd0c5c400ef24f06cd4ff87fb2f0b37e3 (diff) | |
Merge #1868
1868: Fixed markdown in user README r=kjeremy a=zoewithabang
Link pointing to the GitHub issue regarding why a full restart of VS Code is needed was broken.
Co-authored-by: zoewithabang <[email protected]>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/user/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/user/README.md b/docs/user/README.md index 5101e49b8..6d92359e2 100644 --- a/docs/user/README.md +++ b/docs/user/README.md | |||
| @@ -59,7 +59,7 @@ invoke via <kbd>Ctrl+Shift+P</kbd> or bind to a shortcut. See [./features.md](./ | |||
| 59 | for details. | 59 | for details. |
| 60 | 60 | ||
| 61 | For updates, pull the latest changes from the master branch, run `cargo install-ra` again, and **restart** VS Code instance. | 61 | For updates, pull the latest changes from the master branch, run `cargo install-ra` again, and **restart** VS Code instance. |
| 62 | See https://github.com/microsoft/vscode/issues/72308[microsoft/vscode#72308] for why a full restart is needed. | 62 | See [microsoft/vscode#72308](https://github.com/microsoft/vscode/issues/72308) for why a full restart is needed. |
| 63 | 63 | ||
| 64 | ### Settings | 64 | ### Settings |
| 65 | 65 | ||