Move module unordered

This commit is contained in:
Peter Dimov 2018-10-25 20:36:59 +03:00
parent 84273ea4b1
commit e4b8d068f7

8
.gitmodules vendored
View file

@ -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