From d6d2ed6e3398e054a9d9ea97be0855670303432f Mon Sep 17 00:00:00 2001 From: psucien Date: Wed, 10 Jul 2024 20:22:32 +0200 Subject: [PATCH] boost submodule removed --- .gitmodules | 3 --- externals/boost | 1 - 2 files changed, 4 deletions(-) delete mode 160000 externals/boost diff --git a/.gitmodules b/.gitmodules index d6965722..0ec8d65b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -31,9 +31,6 @@ [submodule "externals/robin-map"] path = externals/robin-map url = https://github.com/Tessil/robin-map.git -[submodule "externals/boost"] - path = externals/boost - url = https://github.com/raphaelthegreat/ext-boost.git [submodule "externals/xbyak"] path = externals/xbyak url = https://github.com/herumi/xbyak.git diff --git a/externals/boost b/externals/boost deleted file mode 160000 index 87b78171..00000000 --- a/externals/boost +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 87b7817119982e8ad6068855fae31b11590514be