summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Dimov <pdimov@gmail.com>2018-10-25 20:08:05 +0300
committerPeter Dimov <pdimov@gmail.com>2018-10-25 20:08:05 +0300
commitd92408df1041a109d81c133f59a81dcc412ae927 (patch)
tree3a978844c184b5b9e887ac2b869821eedec93ce4
parent56a58cd3896d22e00dacf6269106959ac5e5ad0c (diff)
downloadboost-d92408df1041a109d81c133f59a81dcc412ae927.tar.gz
Move module mpl
-rw-r--r--.gitmodules8
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