summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Dimov <pdimov@gmail.com>2018-10-25 20:15:53 +0300
committerPeter Dimov <pdimov@gmail.com>2018-10-25 20:15:53 +0300
commit602aa6f63368b2ddc82519cc30f6af88822e1c08 (patch)
treef4dd45ad64a78aff77367dde6947dd452a6d7fdd
parent1f63b5eaa32f85567c6b084c4e0d39da91850fe0 (diff)
downloadboost-602aa6f63368b2ddc82519cc30f6af88822e1c08.tar.gz
Move module property_tree
-rw-r--r--.gitmodules8
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