diff options
| author | Peter Dimov <pdimov@pdimov.com> | 2017-08-04 01:29:57 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@pdimov.com> | 2017-09-10 03:29:34 +0300 |
| commit | 2d510cc95f63eeff2518750bcc359e65480e6da9 (patch) | |
| tree | 1dd64cccd9d73ba658bbf52349cfdd240c650bff /.gitmodules | |
| parent | 6255377fd12c8212eab756a9f0cb767bf902d7e5 (diff) | |
| download | boost-2d510cc95f63eeff2518750bcc359e65480e6da9.tar.gz | |
Add mp11
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index f4938a537a..bf9a516085 100644 --- a/.gitmodules +++ b/.gitmodules @@ -538,3 +538,7 @@ path = libs/beast url = ../beast.git fetchRecurseSubmodules = on-demand +[submodule "mp11"] + path = libs/mp11 + url = ../mp11.git + fetchRecurseSubmodules = on-demand |