[submodule "coxdev"]
	path = coxdev
	url = https://github.com/jonathan-taylor/coxdev.git
	branch = main
