From 57a74b7bff9c5ac1da4220c1661df5353171b53d Mon Sep 17 00:00:00 2001 From: Daniel James Date: Sun, 18 Jun 2017 19:06:00 +0100 Subject: [PATCH] Add poly_collection submodule --- .gitmodules | 4 ++++ libs/poly_collection | 1 + 2 files changed, 5 insertions(+) create mode 160000 libs/poly_collection diff --git a/.gitmodules b/.gitmodules index bd1f103059..59c1100eb8 100644 --- a/.gitmodules +++ b/.gitmodules @@ -530,3 +530,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..7bf2f29e9c --- /dev/null +++ b/libs/poly_collection @@ -0,0 +1 @@ +Subproject commit 7bf2f29e9c3bd9ebb84866faf4832b21e59e1fbc