[submodule "AEILocalInterp"]
	path = AEILocalInterp
	url = git://git.khirnov.net/thorns/AEILocalInterp/.git
[submodule "GSLFortran"]
	path = GSLFortran
	url = git://git.khirnov.net/thorns/GSLFortran/.git
[submodule "ManualTermination"]
	path = ManualTermination
	url = git://git.khirnov.net/thorns/ManualTermination/.git
[submodule "PunctureTracker"]
	path = PunctureTracker
	url = git://git.khirnov.net/thorns/PunctureTracker/