diff --git a/.gitmodules b/.gitmodules index 7365ba0fd..c16e05825 100644 --- a/.gitmodules +++ b/.gitmodules @@ -13,3 +13,4 @@ [submodule "pybind/pybind11"] path = pybind/pybind11 url = https://github.com/pybind/pybind11 +