Change submodules from ssh back to https.

fmlab-iis · Nov 28, 2022 · 604b5d4 · 604b5d4
1 parent fc80868
commit 604b5d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "lib/coq-qfbv"]
 	path = lib/coq-qfbv
-	url = git@github.com:fmlab-iis/coq-qfbv.git
+	url = https://github.com/fmlab-iis/coq-qfbv.git