From 6297081081857b38da56665df7a1e91ca7e8ef82 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Sat, 30 Jul 2022 21:52:54 +0200 Subject: Update all dependencies to work. --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.gitmodules') diff --git a/.gitmodules b/.gitmodules index 0c205dd..bff6f6c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "monad"] path = monad - url = git.hornquist.se:git/scheme-monad.git + url = git@hornquist.se:git/scheme-monad.git -- cgit v1.2.3