Move module auto_index

This commit is contained in:
Peter Dimov 2018-10-25 20:49:08 +03:00
parent 92abd5a113
commit 44044e5135

8
.gitmodules vendored
View file

@ -418,14 +418,14 @@
path = libs/locale
url = ../locale.git
fetchRecurseSubmodules = on-demand
[submodule "local_function"]
path = libs/local_function
url = ../local_function.git
fetchRecurseSubmodules = on-demand
[submodule "auto_index"]
path = tools/auto_index
url = ../auto_index.git
fetchRecurseSubmodules = on-demand
[submodule "local_function"]
path = libs/local_function
url = ../local_function.git
fetchRecurseSubmodules = on-demand
[submodule "multiprecision"]
path = libs/multiprecision
url = ../multiprecision.git