Move module msm

This commit is contained in:
Peter Dimov 2018-10-25 20:43:10 +03:00
parent ab2aff42c4
commit 1678ac6dff

8
.gitmodules vendored
View file

@ -378,6 +378,10 @@
path = libs/polygon
url = ../polygon.git
fetchRecurseSubmodules = on-demand
[submodule "msm"]
path = libs/msm
url = ../msm.git
fetchRecurseSubmodules = on-demand
[submodule "local_function"]
path = libs/local_function
url = ../local_function.git
@ -418,10 +422,6 @@
path = libs/move
url = ../move.git
fetchRecurseSubmodules = on-demand
[submodule "msm"]
path = libs/msm
url = ../msm.git
fetchRecurseSubmodules = on-demand
[submodule "type_erasure"]
path = libs/type_erasure
url = ../type_erasure.git