diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:15:53 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:15:53 +0300 |
commit | 602aa6f63368b2ddc82519cc30f6af88822e1c08 (patch) | |
tree | f4dd45ad64a78aff77367dde6947dd452a6d7fdd | |
parent | 1f63b5eaa32f85567c6b084c4e0d39da91850fe0 (diff) | |
download | boost-602aa6f63368b2ddc82519cc30f6af88822e1c08.tar.gz |
Move module property_tree
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 28d967806e..31301f2dfe 100644 --- a/.gitmodules +++ b/.gitmodules @@ -194,6 +194,10 @@ path = libs/optional url = ../optional.git fetchRecurseSubmodules = on-demand +[submodule "property_tree"] + path = libs/property_tree + url = ../property_tree.git + fetchRecurseSubmodules = on-demand [submodule "ublas"] path = libs/numeric/ublas url = ../ublas.git @@ -282,10 +286,6 @@ path = libs/local_function url = ../local_function.git fetchRecurseSubmodules = on-demand -[submodule "property_tree"] - path = libs/property_tree - url = ../property_tree.git - fetchRecurseSubmodules = on-demand [submodule "circular_buffer"] path = libs/circular_buffer url = ../circular_buffer.git |