diff --git a/.gitmodules b/.gitmodules index 2cd4c06c0..49b2b33e7 100644 --- a/.gitmodules +++ b/.gitmodules @@ -19,3 +19,6 @@ [submodule "external/date"] path = external/date url = https://github.com/HowardHinnant/date.git +[submodule "external/pybind11"] + path = external/pybind11 + url = https://github.com/pybind/pybind11 diff --git a/external/pybind11 b/external/pybind11 new file mode 160000 index 000000000..4f72ef846 --- /dev/null +++ b/external/pybind11 @@ -0,0 +1 @@ +Subproject commit 4f72ef846fe8453596230ac285eeaa0ce3278bb4