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