Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/boostorg/boost.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel James <daniel@calamity.org.uk>2017-06-18 21:06:00 +0300
committerDaniel James <daniel@calamity.org.uk>2017-06-18 21:06:00 +0300
commit57a74b7bff9c5ac1da4220c1661df5353171b53d (patch)
tree6bcb6c48ee76e972fa33415da8da87e4104446da /.gitmodules
parenta8cd469949da480ebbc1146a41f6831cbc684c90 (diff)
Add poly_collection submodule
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules4
1 files changed, 4 insertions, 0 deletions
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