diff options
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index b9f3efd0be..b4f6f3fbc4 100644 --- a/.gitmodules +++ b/.gitmodules @@ -338,6 +338,10 @@ path = libs/mpi url = ../mpi.git fetchRecurseSubmodules = on-demand +[submodule "unordered"] + path = libs/unordered + url = ../unordered.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git @@ -426,10 +430,6 @@ path = libs/sync url = ../sync.git fetchRecurseSubmodules = on-demand -[submodule "unordered"] - path = libs/unordered - url = ../unordered.git - fetchRecurseSubmodules = on-demand [submodule "chrono"] path = libs/chrono url = ../chrono.git |