diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 000000000..062cc71e2 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,4 @@ +[submodule "extern/pybind11"] + path = extern/pybind11 + url = ../../pybind/pybind11 + branch = stable diff --git a/extern/pybind11 b/extern/pybind11 new file mode 160000 index 000000000..be97c5a98 --- /dev/null +++ b/extern/pybind11 @@ -0,0 +1 @@ +Subproject commit be97c5a98b4b252c524566f508b5c79410d118c6