diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 6466323025..cdab54637f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -250,6 +250,10 @@ path = libs/algorithm url = ../algorithm.git fetchRecurseSubmodules = on-demand +[submodule "property_tree"] + path = libs/property_tree + url = ../property_tree.git + fetchRecurseSubmodules = on-demand [submodule "xpressive"] path = libs/xpressive url = ../xpressive.git |