[submodule "external_dependencies/pybind11"]
	path = external_dependencies/pybind11
	url = https://github.com/ngsolve/pybind11.git