diff options
-rw-r--r-- | content/_data/navigation.yaml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/content/_data/navigation.yaml b/content/_data/navigation.yaml index b6e9ce55..bdd7b25b 100644 --- a/content/_data/navigation.yaml +++ b/content/_data/navigation.yaml @@ -1396,8 +1396,11 @@ sections: doc_url: 'ee/user/project/web_ide/' - doc_title: Web IDE Beta doc_url: 'ee/user/project/web_ide_beta/' - - doc_title: Remote Development + - doc_title: Remote development doc_url: 'ee/user/project/remote_development/' + docs: + - doc_title: 'Tutorial: Connect a remote machine to the Web IDE' + doc_url: 'ee/user/project/remote_development/connect_machine.html' - doc_title: Managing large repositories doc_url: 'ee/user/project/repository/managing_large_repositories.html' - doc_title: Merge requests |