From 3be8fc260efe4703ac0d5573aec61e34aceeb98c Mon Sep 17 00:00:00 2001 From: Changming Sun Date: Mon, 22 Jan 2024 18:10:54 -0800 Subject: [PATCH] Remove git submodule --- .gitmodules | 4 ---- extern/pybind11 | 1 - 2 files changed, 5 deletions(-) delete mode 160000 extern/pybind11 diff --git a/.gitmodules b/.gitmodules index 062cc71e21..e69de29bb2 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,4 +0,0 @@ -[submodule "extern/pybind11"] - path = extern/pybind11 - url = ../../pybind/pybind11 - branch = stable diff --git a/extern/pybind11 b/extern/pybind11 deleted file mode 160000 index 8b03ffa7c0..0000000000 --- a/extern/pybind11 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 8b03ffa7c06cd9c8a38297b1c8923695d1ff1b07