update .gitmodules url.

791b814e · li hongming · dfaf50e5 · 791b814e
Commit 791b814e authored Jun 11, 2019 by li hongming
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

.gitmodules .gitmodules +2 -2

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