From 2b89d50b4d76dfe4ae2615be2f565d7b6150910a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A1tvik=20Karanam?= <89281036+skara9@users.noreply.github.com> Date: Tue, 6 Aug 2024 15:08:45 -0400 Subject: [PATCH] update sidebar --- navtreedata.js | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/navtreedata.js b/navtreedata.js index 00cf62f1..10542796 100644 --- a/navtreedata.js +++ b/navtreedata.js @@ -195,9 +195,7 @@ var NAVTREE = [ "Review a Pull Request", "/developer/getting_started/review_a_pull_request", null ], [ "Commit to PR from Fork", "/developer/getting_started/commit_to_PR_from_fork", null ], [ "Edit Submitty Documentation", "/developer/getting_started/edit_submitty_documentation", null ], - [ "VM Install using Vagrant", "/developer/getting_started/vm_install_using_vagrant", [ - [ "Vagrant QEMU on Apple Silicon", "/developer/getting_started/vm_install_using_vagrant_apple_silicon", null ] - ] ], + [ "VM Install using Vagrant", "/developer/getting_started/vm_install_using_vagrant", null ], [ "Advanced Setup", "/developer/getting_started/phpstorm", [ [ "PhpStorm Setup Instructions", "/developer/getting_started/phpstorm", null ], [ "Xdebug Setup Instructions", "/developer/getting_started/xdebug", null ],