From 4be4bc2a55f7ea41b1527859edce15c6b9f035ca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mika=C3=ABl=20Capelle?= Date: Thu, 21 Apr 2022 23:17:47 +0200 Subject: [PATCH] Remove pybind11. --- .gitmodules | 3 --- lib/pyind11 | 1 - 2 files changed, 4 deletions(-) delete mode 100644 .gitmodules delete mode 160000 lib/pyind11 diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 173fa8a..0000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "lib/pyind11"] - path = lib/pyind11 - url = https://github.com/pybind/pybind11 diff --git a/lib/pyind11 b/lib/pyind11 deleted file mode 160000 index c4e2952..0000000 --- a/lib/pyind11 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit c4e295287b74c0b3f0f8a304cdb746ac2bcb37ad