summaryrefslogtreecommitdiff
path: root/.gitmodules
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/