diff --git a/.gitmodules b/.gitmodules index b74f11672c..16e1d989c4 100644 --- a/.gitmodules +++ b/.gitmodules @@ -61,6 +61,3 @@ [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