diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:28:40 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:28:40 +0300 |
commit | 5425ad3fc8059af0122d91e9b26bfbd7b4821a91 (patch) | |
tree | 02647d4035b987febaec5c00dcc77008cd62cb81 | |
parent | a852d7a1f42f37706327ea8b79f017a335d1f38b (diff) | |
download | boost-5425ad3fc8059af0122d91e9b26bfbd7b4821a91.tar.gz |
Move module interval
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 5a2a268bca..d865712aab 100644 --- a/.gitmodules +++ b/.gitmodules @@ -270,6 +270,10 @@ path = libs/detail url = ../detail.git fetchRecurseSubmodules = on-demand +[submodule "interval"] + path = libs/numeric/interval + url = ../interval.git + fetchRecurseSubmodules = on-demand [submodule "ublas"] path = libs/numeric/ublas url = ../ublas.git @@ -294,10 +298,6 @@ path = libs/bind url = ../bind.git fetchRecurseSubmodules = on-demand -[submodule "interval"] - path = libs/numeric/interval - url = ../interval.git - fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git |