From 64904b45b5b89b8ddaae363fc021c94af17e570a Mon Sep 17 00:00:00 2001 From: Peter Dimov Date: Fri, 4 Aug 2017 01:29:57 +0300 Subject: [PATCH] Add mp11 --- .gitmodules | 4 ++++ libs/mp11 | 1 + 2 files changed, 5 insertions(+) create mode 160000 libs/mp11 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 index 0000000000..1b15c82fef --- /dev/null +++ b/libs/mp11 @@ -0,0 +1 @@ +Subproject commit 1b15c82fef6f47eb4db4c6f8fcfcfa16c37493c9