diff options
author | Peter Dimov <pdimov@pdimov.com> | 2017-08-04 01:29:57 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@pdimov.com> | 2017-08-04 01:29:57 +0300 |
commit | 64904b45b5b89b8ddaae363fc021c94af17e570a (patch) | |
tree | 8d00c9ed7131a24c91add6fa0e64b4540d9a1cd3 | |
parent | 7785dff19f7e66a309dbbde0d7665e6561a6ef5c (diff) | |
download | boost-64904b45b5b89b8ddaae363fc021c94af17e570a.tar.gz |
Add mp11
-rw-r--r-- | .gitmodules | 4 | ||||
m--------- | libs/mp11 | 0 |
2 files changed, 4 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index a69597eff1..69a2f223ba 100644 --- a/.gitmodules +++ b/.gitmodules @@ -547,3 +547,7 @@ path = libs/beast url = ../beast.git fetchRecurseSubmodules = on-demand +[submodule "mp11"] + path = libs/mp11 + url = ../mp11.git + fetchRecurseSubmodules = on-demand diff --git a/libs/mp11 b/libs/mp11 new file mode 160000 +Subproject 1b15c82fef6f47eb4db4c6f8fcfcfa16c37493c |