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