blob: bf92d312e8049b55ff1621d3e596427ba13652c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
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
|