blob: 2a702b9f6a1666ecb906f901c58a6e0435273f2a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
[submodule "PUGH"]
path = PUGH
url = git://git.khirnov.net/thorns/PUGH/.git
[submodule "PUGHInterp"]
path = PUGHInterp
url = git://git.khirnov.net/thorns/PUGHInterp/.git
[submodule "PUGHReduce"]
path = PUGHReduce
url = git://git.khirnov.net/thorns/PUGHReduce/.git
[submodule "PUGHSlab"]
path = PUGHSlab
url = git://git.khirnov.net/thorns/PUGHSlab/.git
|