diff options
| author | Tomi Valkeinen <tomi.valkeinen@ti.com> | 2020-12-16 09:08:18 +0200 |
|---|---|---|
| committer | Tomi Valkeinen <tomi.valkeinen@ti.com> | 2020-12-16 10:26:04 +0200 |
| commit | 679c992f5ec738c06fab93145571cb762131918c (patch) | |
| tree | 44852d003f217589e2c9cd95ba4e2e173f99577a | |
| parent | e7224eb5355654db439b14362d19063acd7aec27 (diff) | |
Remove pybind11 git submodule
Signed-off-by: Tomi Valkeinen <tomi.valkeinen@ti.com>
| -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 |