Welcome to mirror list, hosted at ThFree Co, Russian Federation.

gitlab.com/gitlab-org/gitlab-docs.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid O'Regan <doregan@gitlab.com>2023-08-08 18:23:14 +0300
committerAshraf Khamis <akhamis@gitlab.com>2023-08-08 18:23:14 +0300
commitbba80e8eb3f76c832859d1731fe959fa85aea0c9 (patch)
tree79c2aaae09ef43bacf0c69db0dfdc44b1881daf2
parent6c296206b9bb787ea3e5a44b084734efc5ba2d6c (diff)
Update file navigation.yaml
-rw-r--r--content/_data/navigation.yaml5
1 files changed, 2 insertions, 3 deletions
diff --git a/content/_data/navigation.yaml b/content/_data/navigation.yaml
index 4d007531..a2562e25 100644
--- a/content/_data/navigation.yaml
+++ b/content/_data/navigation.yaml
@@ -1513,11 +1513,10 @@ sections:
- doc_title: Remote development
doc_url: 'ee/user/project/remote_development/'
docs:
+ - doc_title: Workspaces
+ doc_url: 'ee/user/workspace/'
- doc_title: 'Tutorial: Connect a remote machine to the Web IDE'
doc_url: 'ee/user/project/remote_development/connect_machine.html'
- - doc_title: Workspaces
- doc_url: 'ee/user/workspace/'
- docs:
- doc_title: 'Tutorial: Create a custom workspace image that supports arbitrary user IDs'
doc_url: 'ee/user/workspace/create_image.html'
- doc_title: Managing large repositories