diff options
| author | GitLab Bot <gitlab-bot@gitlab.com> | 2020-06-18 18:08:45 +0300 |
|---|---|---|
| committer | GitLab Bot <gitlab-bot@gitlab.com> | 2020-06-18 18:08:45 +0300 |
| commit | 874c603d7a21724885ed24f15f457146aa1497c2 (patch) | |
| tree | 9b562f45f9e79cd0bbba8e94e69511f620a1c3ed /doc/ci/interactive_web_terminal | |
| parent | 8eef083ccd59505b606e9733d38589cbd3d01fdf (diff) | |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'doc/ci/interactive_web_terminal')
| -rw-r--r-- | doc/ci/interactive_web_terminal/index.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ci/interactive_web_terminal/index.md b/doc/ci/interactive_web_terminal/index.md index be3741332e0..385a9280202 100644 --- a/doc/ci/interactive_web_terminal/index.md +++ b/doc/ci/interactive_web_terminal/index.md @@ -67,6 +67,6 @@ close the terminal window.  -## Interactive Web Terminals for the Web IDE **(ULTIMATE ONLY)** +## Interactive Web Terminals for the Web IDE -Read the Web IDE docs to learn how to run [Interactive Terminals through the Web IDE](../../user/project/web_ide/index.md). +Read the Web IDE docs to learn how to run [Interactive Terminals through the Web IDE](../../user/project/web_ide/index.md#interactive-web-terminals-for-the-web-ide). |