diff options
author | Anton Khirnov <anton@khirnov.net> | 2012-11-09 14:11:47 +0100 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2012-11-09 14:11:47 +0100 |
commit | 2b5f79bb671f52b8e642e514341da5ff4430bb43 (patch) | |
tree | 27a5b6fbce96633363efe31dbac82be720cf4a5e | |
parent | 6ace709ede83480f5440feae74f22959c73a69d4 (diff) |
Fix submodule URLs.
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 2a702b9..8192da3 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,12 +1,12 @@ [submodule "PUGH"] path = PUGH - url = git://git.khirnov.net/thorns/PUGH/.git + url = git://git.khirnov.net/thorns/PUGH/ [submodule "PUGHInterp"] path = PUGHInterp - url = git://git.khirnov.net/thorns/PUGHInterp/.git + url = git://git.khirnov.net/thorns/PUGHInterp/ [submodule "PUGHReduce"] path = PUGHReduce - url = git://git.khirnov.net/thorns/PUGHReduce/.git + url = git://git.khirnov.net/thorns/PUGHReduce/ [submodule "PUGHSlab"] path = PUGHSlab - url = git://git.khirnov.net/thorns/PUGHSlab/.git + url = git://git.khirnov.net/thorns/PUGHSlab/ |