[submodule "third_party"]
	path = third_party
	url = https://github.com/doctest/doctest.git
[submodule "third_party/doctest"]
	path = third_party/doctest
	url = https://github.com/doctest/doctest.git