diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..9bb357f --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "third_party/pybind11"] + path = third_party/pybind11 + url = https://github.com/pybind/pybind11.git diff --git a/third_party/pybind11 b/third_party/pybind11 new file mode 160000 index 0000000..3b1dbeb --- /dev/null +++ b/third_party/pybind11 @@ -0,0 +1 @@ +Subproject commit 3b1dbebabc801c9cf6f0953a4c20b904d444f879