diff options
author | Anton Khirnov <anton@khirnov.net> | 2012-08-23 09:29:26 +0200 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2012-08-23 09:29:26 +0200 |
commit | 016cb77d884a3065cefc8e63f3bc8659921c80c5 (patch) | |
tree | d06929a9ba03320461c19576fbcafdf97fec7ec8 /.gitmodules | |
parent | 55c2d9e1ef2e3705154518242324648d2fcc6812 (diff) |
Update submodule URLs.
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index bf92d31..2a702b9 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,12 +1,12 @@ [submodule "PUGH"] path = PUGH - url = git://git.khirnov.net/git/thorns/PUGH/.git + url = git://git.khirnov.net/thorns/PUGH/.git [submodule "PUGHInterp"] path = PUGHInterp - url = git://git.khirnov.net/git/thorns/PUGHInterp/.git + url = git://git.khirnov.net/thorns/PUGHInterp/.git [submodule "PUGHReduce"] path = PUGHReduce - url = git://git.khirnov.net/git/thorns/PUGHReduce/.git + url = git://git.khirnov.net/thorns/PUGHReduce/.git [submodule "PUGHSlab"] path = PUGHSlab - url = git://git.khirnov.net/git/thorns/PUGHSlab/.git + url = git://git.khirnov.net/thorns/PUGHSlab/.git |