diff options
| -rw-r--r-- | .gitmodules | 3 | ||||
| m--------- | ext/pybind11 | 0 |
2 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index c6d1083..e69de29 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "ext/pybind11"] - path = ext/pybind11 - url = https://github.com/pybind/pybind11.git diff --git a/ext/pybind11 b/ext/pybind11 deleted file mode 160000 -Subproject 9a19306fbf30642ca331d0ec88e7da54a96860f |