diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2020-05-29 18:08:14 +0300 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2020-05-29 18:08:14 +0300 |
commit | 6e33325c1458cb31b4d36a7eec817fa00ec3faaf (patch) | |
tree | 615b51cfaa9838b427ecc5c02bb40cafed31f356 /doc/user/project/web_ide/index.md | |
parent | bae24262df90b1b16e012360d04a28d54a07be3f (diff) |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'doc/user/project/web_ide/index.md')
-rw-r--r-- | doc/user/project/web_ide/index.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/project/web_ide/index.md b/doc/user/project/web_ide/index.md index 7e606136bb0..e6876fbaa88 100644 --- a/doc/user/project/web_ide/index.md +++ b/doc/user/project/web_ide/index.md @@ -284,7 +284,7 @@ terminal: - The `webide-file-sync` executable must start **after** the project directory is available. This is why we need to add `sleep 5` to the `command`. - See [this issue](https://gitlab.com/gitlab-org/webide-file-sync/issues/7) for + See [this issue](https://gitlab.com/gitlab-org/webide-file-sync/-/issues/7) for more information. - `$CI_PROJECT_DIR` is a [predefined environment variable](../../../ci/variables/predefined_variables.md) |