diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:08:05 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:08:05 +0300 |
commit | d92408df1041a109d81c133f59a81dcc412ae927 (patch) | |
tree | 3a978844c184b5b9e887ac2b869821eedec93ce4 | |
parent | 56a58cd3896d22e00dacf6269106959ac5e5ad0c (diff) | |
download | boost-d92408df1041a109d81c133f59a81dcc412ae927.tar.gz |
Move module mpl
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 913ceb5022..49250bce50 100644 --- a/.gitmodules +++ b/.gitmodules @@ -154,6 +154,10 @@ path = libs/lambda url = ../lambda.git fetchRecurseSubmodules = on-demand +[submodule "mpl"] + path = libs/mpl + url = ../mpl.git + fetchRecurseSubmodules = on-demand [submodule "ublas"] path = libs/numeric/ublas url = ../ublas.git @@ -226,10 +230,6 @@ path = libs/dynamic_bitset url = ../dynamic_bitset.git fetchRecurseSubmodules = on-demand -[submodule "mpl"] - path = libs/mpl - url = ../mpl.git - fetchRecurseSubmodules = on-demand [submodule "range"] path = libs/range url = ../range.git |