From 016cb77d884a3065cefc8e63f3bc8659921c80c5 Mon Sep 17 00:00:00 2001 From: Anton Khirnov Date: Thu, 23 Aug 2012 09:29:26 +0200 Subject: Update submodule URLs. --- .gitmodules | 8 ++++---- 1 file 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 -- cgit v1.2.3