Move module interval

This commit is contained in:
Peter Dimov 2018-10-25 20:28:40 +03:00
parent a852d7a1f4
commit 5425ad3fc8

8
.gitmodules vendored
View file

@ -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