diff --git a/.gitmodules b/.gitmodules index f23ceeb33c..02224b1bc6 100644 --- a/.gitmodules +++ b/.gitmodules @@ -353,11 +353,6 @@ url = ../type_traits.git fetchRecurseSubmodules = on-demand branch = . -[submodule "compatibility"] - path = libs/compatibility - url = ../compatibility.git - fetchRecurseSubmodules = on-demand - branch = . [submodule "bind"] path = libs/bind url = ../bind.git diff --git a/libs/compatibility b/libs/compatibility deleted file mode 160000 index 7be386ad98..0000000000 --- a/libs/compatibility +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 7be386ad98083806f805c6d1e2450e09ae10250f