diff options
Diffstat (limited to '3rdparty/pybind11/.gitmodules')
-rw-r--r-- | 3rdparty/pybind11/.gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/3rdparty/pybind11/.gitmodules b/3rdparty/pybind11/.gitmodules deleted file mode 100644 index d063a8e8..00000000 --- a/3rdparty/pybind11/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "tools/clang"] - path = tools/clang - url = ../../wjakob/clang-cindex-python3 |