diff options
| author | GitLab Bot <gitlab-bot@gitlab.com> | 2023-08-29 00:10:41 +0300 |
|---|---|---|
| committer | GitLab Bot <gitlab-bot@gitlab.com> | 2023-08-29 00:10:41 +0300 |
| commit | 9a4a8e6be70657c1a30b0c602ea2ba58576257fe (patch) | |
| tree | 6a276e9b1171830765fec54bdd064849da484b2e /doc/user/project/web_ide/index.md | |
| parent | 672c5fcf46b385257ce01c2f773a65aa3578175d (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 994ed244832..762878b65f6 100644 --- a/doc/user/project/web_ide/index.md +++ b/doc/user/project/web_ide/index.md @@ -23,7 +23,7 @@ To pair the Web IDE with a remote development environment, see [remote developme To open the Web IDE from the GitLab UI: -1. On the left sidebar, at the top, select **Search GitLab** (**{search}**) to find your project. +1. On the left sidebar, select **Search or go to** and find your project. 1. Use the <kbd>.</kbd> keyboard shortcut. You can also open the Web IDE from: |