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