summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnton Khirnov <anton@khirnov.net>2010-12-16 19:25:59 +0100
committerAnton Khirnov <anton@khirnov.net>2010-12-16 19:25:59 +0100
commit55b1a710e123c5bb8c030af93e939ab473199406 (patch)
tree79c24c39baf65eddf60b3e57f4d335fb22312c64
initial commit
-rw-r--r--.gitmodules12
m---------PUGH0
m---------PUGHInterp0
m---------PUGHReduce0
m---------PUGHSlab0
5 files changed, 12 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..bf92d31
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,12 @@
+[submodule "PUGH"]
+ path = PUGH
+ url = git://git.khirnov.net/git/thorns/PUGH/.git
+[submodule "PUGHInterp"]
+ path = PUGHInterp
+ url = git://git.khirnov.net/git/thorns/PUGHInterp/.git
+[submodule "PUGHReduce"]
+ path = PUGHReduce
+ url = git://git.khirnov.net/git/thorns/PUGHReduce/.git
+[submodule "PUGHSlab"]
+ path = PUGHSlab
+ url = git://git.khirnov.net/git/thorns/PUGHSlab/.git
diff --git a/PUGH b/PUGH
new file mode 160000
+Subproject e2a689f590dab91859a99046743c7b32b9993a1
diff --git a/PUGHInterp b/PUGHInterp
new file mode 160000
+Subproject 97ee0e5f6fdf660f3499986328ffe5861ca131b
diff --git a/PUGHReduce b/PUGHReduce
new file mode 160000
+Subproject 905e7cdc5fe646d0d326f23b0372d29c0b0d94b
diff --git a/PUGHSlab b/PUGHSlab
new file mode 160000
+Subproject 649daef7a71b2b816f515afdd3bcbe7f2c182a1