Submodule migration fix

01260deb · José López Jiménez · 0e094a73 · 01260deb
Commit 01260deb authored Apr 29, 2020 by José López Jiménez
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

.gitmodules .gitmodules +1 -1

No files found.
--- a/.gitmodules
+++ b/.gitmodules
@@ -3,4 +3,4 @@
 	url = git://github.com/rubini/mini-rpc.git
 [submodule "userspace/ppsi"]
 	path = userspace/ppsi
-	url = git://ohwr.org/white-rabbit/ppsi.git
+	url = https://ohwr.org/project/ppsi.git