diff options
| -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 |