diff --git a/.gitmodules b/.gitmodules index 6f104ff0..422be4ee 100644 --- a/.gitmodules +++ b/.gitmodules @@ -58,6 +58,6 @@ [submodule "externals/robin-map"] path = externals/robin-map url = https://github.com/Tessil/robin-map -[submodule "externals/ext-boost"] - path = externals/ext-boost +[submodule "externals/boost"] + path = externals/boost url = https://github.com/raphaelthegreat/ext-boost diff --git a/externals/ext-boost b/externals/boost similarity index 100% rename from externals/ext-boost rename to externals/boost