diff --git a/.gitmodules b/.gitmodules index de2e88cd3c..88f48dd9bb 100644 --- a/.gitmodules +++ b/.gitmodules @@ -539,3 +539,7 @@ path = libs/stacktrace url = ../stacktrace.git fetchRecurseSubmodules = on-demand +[submodule "poly_collection"] + path = libs/poly_collection + url = ../poly_collection.git + fetchRecurseSubmodules = on-demand diff --git a/libs/poly_collection b/libs/poly_collection new file mode 160000 index 0000000000..9bfae0679a --- /dev/null +++ b/libs/poly_collection @@ -0,0 +1 @@ +Subproject commit 9bfae0679aa1381f7c44367fb47853cce271844a