Corrected URLs in a handful of older submodules.

GaloisInc · Jan 3, 2022 · f6b9e11 · f6b9e11
1 parent 9cdf9e7
commit f6b9e11
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -90,16 +90,16 @@
 	url = [email protected]:GaloisInc/BESSPIN-riscv-timing-tests.git
 [submodule "BESSPIN-BMD-2019"]
 	path = BESSPIN-BMD-2019
-	url = [email protected]/GaloisInc/BESSPIN-BMD-2019.git
+	url = [email protected]:GaloisInc/BESSPIN-BMD-2019.git
 [submodule "BESSPIN-Voting-System-Demonstrator-2019"]
 	path = BESSPIN-Voting-System-Demonstrator-2019
-	url = [email protected]/GaloisInc/BESSPIN-Voting-System-Demonstrator-2019.git
+	url = [email protected]:GaloisInc/BESSPIN-Voting-System-Demonstrator-2019.git
 [submodule "BESSPIN-FreeRTOS-2019"]
 	path = BESSPIN-FreeRTOS-2019
-	url = [email protected]/GaloisInc/BESSPIN-FreeRTOS-2019.git
+	url = [email protected]:GaloisInc/BESSPIN-FreeRTOS-2019.git
 [submodule "BESSPIN-GFE-2019"]
 	path = BESSPIN-GFE-2019
-	url = [email protected]/GaloisInc/BESSPIN-GFE-2019.git
+	url = [email protected]:GaloisInc/BESSPIN-GFE-2019.git
 [submodule "BESSPIN-FETT-Portal"]
 	path = BESSPIN-FETT-Portal
 	url = [email protected]:GaloisInc/BESSPIN-FETT-Portal.git