From 1a53cde33b5c0220406fa7e14770ba5cbdff6628 Mon Sep 17 00:00:00 2001 From: boludoz Date: Mon, 18 Sep 2023 17:24:20 -0300 Subject: [PATCH] Fixed robin map --- .gitmodules | 3 +++ externals/robin-map | 1 + 2 files changed, 4 insertions(+) create mode 160000 externals/robin-map diff --git a/.gitmodules b/.gitmodules index 16e1d989c4..b74f11672c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -61,3 +61,6 @@ [submodule "robin-map"] path = externals/robin-map url = https://github.com/Tessil/robin-map.git +[submodule "externals/robin-map"] + path = externals/robin-map + url = https://github.com/Tessil/robin-map.git diff --git a/externals/robin-map b/externals/robin-map new file mode 160000 index 0000000000..0430aee4df --- /dev/null +++ b/externals/robin-map @@ -0,0 +1 @@ +Subproject commit 0430aee4df9d213ed5be24ad0a5006eb30b95cdd