From 2b5f79bb671f52b8e642e514341da5ff4430bb43 Mon Sep 17 00:00:00 2001 From: Anton Khirnov Date: Fri, 9 Nov 2012 14:11:47 +0100 Subject: Fix submodule URLs. --- .gitmodules | 8 ++++---- 1 file 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/ -- cgit v1.2.3