diff options
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index e01e5b8dc8..da62a5bc4f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -222,6 +222,10 @@ path = tools/bcp url = ../bcp.git fetchRecurseSubmodules = on-demand +[submodule "ptr_container"] + path = libs/ptr_container + url = ../ptr_container.git + fetchRecurseSubmodules = on-demand [submodule "ublas"] path = libs/numeric/ublas url = ../ublas.git @@ -298,10 +302,6 @@ path = libs/circular_buffer url = ../circular_buffer.git fetchRecurseSubmodules = on-demand -[submodule "ptr_container"] - path = libs/ptr_container - url = ../ptr_container.git - fetchRecurseSubmodules = on-demand [submodule "quickbook"] path = tools/quickbook url = ../quickbook.git |