diff options
| author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:26:55 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:26:55 +0300 |
| commit | 92cbe94f54a493e66e1e4836f08ac5020fa921b3 (patch) | |
| tree | c85904dc769b01266a3e08f8812ea9320fb0c821 | |
| parent | 2f15cc8d6410421b8dbd52dfb27190e07fa8e2b5 (diff) | |
| download | boost-92cbe94f54a493e66e1e4836f08ac5020fa921b3.tar.gz | |
Move module property_map
| -rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index a1d9f1f1c5..f8b836e13b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -258,6 +258,10 @@ path = libs/graph_parallel url = ../graph_parallel.git fetchRecurseSubmodules = on-demand +[submodule "property_map"] + path = libs/property_map + url = ../property_map.git + fetchRecurseSubmodules = on-demand [submodule "ublas"] path = libs/numeric/ublas url = ../ublas.git @@ -274,10 +278,6 @@ path = libs/detail url = ../detail.git fetchRecurseSubmodules = on-demand -[submodule "property_map"] - path = libs/property_map - url = ../property_map.git - fetchRecurseSubmodules = on-demand [submodule "pool"] path = libs/pool url = ../pool.git |