[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