diff options
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index ca63fc65e9..9c3d9b1018 100644 --- a/.gitmodules +++ b/.gitmodules @@ -434,6 +434,10 @@ path = libs/context url = ../context.git fetchRecurseSubmodules = on-demand +[submodule "type_erasure"] + path = libs/type_erasure + url = ../type_erasure.git + fetchRecurseSubmodules = on-demand [submodule "multiprecision"] path = libs/multiprecision url = ../multiprecision.git @@ -442,10 +446,6 @@ path = libs/lockfree url = ../lockfree.git fetchRecurseSubmodules = on-demand -[submodule "type_erasure"] - path = libs/type_erasure - url = ../type_erasure.git - fetchRecurseSubmodules = on-demand [submodule "sync"] path = libs/sync url = ../sync.git |