diff options
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 5430aa85d3..cbfadc71ff 100644 --- a/.gitmodules +++ b/.gitmodules @@ -362,6 +362,10 @@ path = libs/flyweight url = ../flyweight.git fetchRecurseSubmodules = on-demand +[submodule "icl"] + path = libs/icl + url = ../icl.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git @@ -382,10 +386,6 @@ path = libs/heap url = ../heap.git fetchRecurseSubmodules = on-demand -[submodule "icl"] - path = libs/icl - url = ../icl.git - fetchRecurseSubmodules = on-demand [submodule "multiprecision"] path = libs/multiprecision url = ../multiprecision.git |