diff options
-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 |