diff options
| author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:49:08 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:49:08 +0300 |
| commit | 44044e513514d8085e386c740f0262e509062fa4 (patch) | |
| tree | 3d393b872e8ee82130467721682475e2f1fc3087 | |
| parent | 92abd5a1130ee507300350d5d2e5493f9a54d84b (diff) | |
| download | boost-44044e513514d8085e386c740f0262e509062fa4.tar.gz | |
Move module auto_index
| -rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 789a377168..292ee8c85e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -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 |