diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2020-12-09 15:09:42 +0300 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2020-12-09 15:09:42 +0300 |
commit | 1361891b0a87187364d1586395df176a8984e914 (patch) | |
tree | 4f47ddf2cd0d06cd0eb98a7bf1b7001504e6416b /doc/user/project/repository/web_editor.md | |
parent | 109562e64e1e1c51fe32a7443df86ee63b856115 (diff) |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'doc/user/project/repository/web_editor.md')
-rw-r--r-- | doc/user/project/repository/web_editor.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/project/repository/web_editor.md b/doc/user/project/repository/web_editor.md index 0114e4fa433..9f506b89415 100644 --- a/doc/user/project/repository/web_editor.md +++ b/doc/user/project/repository/web_editor.md @@ -32,7 +32,7 @@ When you are satisfied with your new file, click **Commit Changes** at the botto ### Shortcuts You can use handy shortcuts when editing a file through the Web Editor, which are the same as -the WEB IDE's. For details, see the documentation for [Command Palette](../web_ide/index.md#command-palette). +the Web IDE's. For details, see the documentation for [Command Palette](../web_ide/index.md#command-palette). ### Template dropdowns |