[submodule "src/gambit"]
	path = src/gambit
	url = https://github.com/gambit/gambit.git
