summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnton Khirnov <anton@khirnov.net>2012-08-23 09:29:26 +0200
committerAnton Khirnov <anton@khirnov.net>2012-08-23 09:29:26 +0200
commit016cb77d884a3065cefc8e63f3bc8659921c80c5 (patch)
treed06929a9ba03320461c19576fbcafdf97fec7ec8
parent55c2d9e1ef2e3705154518242324648d2fcc6812 (diff)
Update submodule URLs.
-rw-r--r--.gitmodules8
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