summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Dimov <pdimov@gmail.com>2018-10-25 20:28:40 +0300
committerPeter Dimov <pdimov@gmail.com>2018-10-25 20:28:40 +0300
commit5425ad3fc8059af0122d91e9b26bfbd7b4821a91 (patch)
tree02647d4035b987febaec5c00dcc77008cd62cb81
parenta852d7a1f42f37706327ea8b79f017a335d1f38b (diff)
downloadboost-5425ad3fc8059af0122d91e9b26bfbd7b4821a91.tar.gz
Move module interval
-rw-r--r--.gitmodules8
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