diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:14:51 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:14:51 +0300 |
commit | 1f63b5eaa32f85567c6b084c4e0d39da91850fe0 (patch) | |
tree | 69595e7144f93c1d7d4dd703459f0d1337262f24 | |
parent | 10912ed728e88a1af3f9988d439bcbd419e4a0c7 (diff) | |
download | boost-1f63b5eaa32f85567c6b084c4e0d39da91850fe0.tar.gz |
Move module optional
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 6ca685e65f..28d967806e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -190,6 +190,10 @@ path = libs/conversion url = ../conversion.git fetchRecurseSubmodules = on-demand +[submodule "optional"] + path = libs/optional + url = ../optional.git + fetchRecurseSubmodules = on-demand [submodule "ublas"] path = libs/numeric/ublas url = ../ublas.git @@ -258,10 +262,6 @@ path = libs/numeric/interval url = ../interval.git fetchRecurseSubmodules = on-demand -[submodule "optional"] - path = libs/optional - url = ../optional.git - fetchRecurseSubmodules = on-demand [submodule "graph_parallel"] path = libs/graph_parallel url = ../graph_parallel.git |