diff options
author | David O'Regan <doregan@gitlab.com> | 2023-08-08 18:23:14 +0300 |
---|---|---|
committer | Ashraf Khamis <akhamis@gitlab.com> | 2023-08-08 18:23:14 +0300 |
commit | bba80e8eb3f76c832859d1731fe959fa85aea0c9 (patch) | |
tree | 79c2aaae09ef43bacf0c69db0dfdc44b1881daf2 | |
parent | 6c296206b9bb787ea3e5a44b084734efc5ba2d6c (diff) |
Update file navigation.yaml
-rw-r--r-- | content/_data/navigation.yaml | 5 |
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 |