[submodule "templates"]
	path = templates
	url = https://github.com/coq-community/templates
