diff options
Diffstat (limited to '')
-rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
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 |