From 3e4a8cedff97643556933d12eb5434c43be4c406 Mon Sep 17 00:00:00 2001
From: Jonathan Cobb <jonathan@kyuss.org>
Date: Fri, 11 Dec 2020 13:24:25 -0500
Subject: [PATCH] revert

---
 docs/dev_manual.md | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/docs/dev_manual.md b/docs/dev_manual.md
index 27cb883f..18a0c006 100644
--- a/docs/dev_manual.md
+++ b/docs/dev_manual.md
@@ -17,14 +17,9 @@ required software.
 ## First-Time Dev Setup
 After running the system setup above, run:
 ```shell script
-./bin/git_https_submodules.sh
 ./bin/first_time_setup.sh
 ```
-The first line (`git_https_submodules.sh`) ensures all your git submodules are defined
-using https URLs instead of git URLs. You only need to run this once on a repository.
-
-The second line (`first_time_setup.sh`) downloads all the submodules and performs an
-initial build of all components.
+This downloads all the submodules and performs an initial build of all components.
 
 This will take a while to complete, please be patient.