From 4394191faec286a95284b0c24257716e733d6c51 Mon Sep 17 00:00:00 2001 From: georgemoralis Date: Sun, 14 Apr 2024 20:18:20 +0300 Subject: [PATCH] boost submodule was added wrong --- .gitmodules | 4 ++-- externals/{ext-boost => boost} | 0 2 files changed, 2 insertions(+), 2 deletions(-) rename externals/{ext-boost => boost} (100%) 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