update navtree

Author: Barb Cutler

Diff for: 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 ],