diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 00000000..062cc71e --- /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 00000000..01ab9356 --- /dev/null +++ b/extern/pybind11 @@ -0,0 +1 @@ +Subproject commit 01ab935612a6800c4ad42957808d6cbd30047902