diff --git a/.gitmodules b/.gitmodules index 4a1f0772c33bb4c1b9ba14a5329a9dcfbf8b96fb..862fd6e495c9b89d7d8083ecd372b5c822af45d0 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ -[submodule "core/general-client/"] - path = core/general-client/ +[submodule "core/general-client/pybind11"] + path = core/general-client/pybind11 url = https://github.com/pybind/pybind11 diff --git a/core/general-client/pybind11 b/core/general-client/pybind11 new file mode 160000 index 0000000000000000000000000000000000000000..4f72ef846fe8453596230ac285eeaa0ce3278bb4 --- /dev/null +++ b/core/general-client/pybind11 @@ -0,0 +1 @@ +Subproject commit 4f72ef846fe8453596230ac285eeaa0ce3278bb4