diff options
| author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:46:56 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:46:56 +0300 |
| commit | 7ea13968f0de939b3a7cb9f5fab221bcd431cd7d (patch) | |
| tree | 958051e5c79d77d92f08941119fd4968649f5dbc | |
| parent | 226b4f646d8fdc0aeeb903e06ac761284b9bc781 (diff) | |
| download | boost-7ea13968f0de939b3a7cb9f5fab221bcd431cd7d.tar.gz | |
Move module geometry
| -rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index a758508435..8b5de0262b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -402,14 +402,14 @@ path = libs/numeric/odeint url = ../odeint.git fetchRecurseSubmodules = on-demand -[submodule "local_function"] - path = libs/local_function - url = ../local_function.git - fetchRecurseSubmodules = on-demand [submodule "geometry"] path = libs/geometry url = ../geometry.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 |