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