Add submodules headers, boost_install

This commit is contained in:
Peter Dimov 2018-10-11 17:56:12 +03:00 committed by Peter Dimov
parent 74ef2499eb
commit 9c57f18a94
3 changed files with 12 additions and 0 deletions

10
.gitmodules vendored
View file

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

1
libs/headers Submodule

@ -0,0 +1 @@
Subproject commit 44b9e3e5a0cae1b49a335a3afac53ed1a39768ad

1
tools/boost_install Submodule

@ -0,0 +1 @@
Subproject commit dbc84a30e789a9fcc5ff513f578677408aebfbe8