[submodule "submodules/microtex"]
	path = submodules/microtex
	url = https://github.com/kpeeters/MicroTeX.git
	branch = kpeeters/cadabra
