diff options
| author | Peter Dimov <pdimov@pdimov.com> | 2018-10-11 17:56:12 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2018-12-19 08:09:38 +0200 |
| commit | 9c57f18a94b5cfa1385be9dce41358e56220a069 (patch) | |
| tree | 827d4f9d357c2b030c16fd587867702ba8743e01 /.gitmodules | |
| parent | 74ef2499ebc3e223174d424c19ec3fc535ae24ea (diff) | |
| download | boost-9c57f18a94b5cfa1385be9dce41358e56220a069.tar.gz | |
Add submodules headers, boost_install
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 963d3b06e5..bfe610024b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -713,3 +713,13 @@ url = ../parameter_python.git fetchRecurseSubmodules = on-demand branch = . +[submodule "headers"] + path = libs/headers + url = ../headers.git + fetchRecurseSubmodules = on-demand + branch = . +[submodule "boost_install"] + path = tools/boost_install + url = ../boost_install.git + fetchRecurseSubmodules = on-demand + branch = . |