From f0e3f68d7003cb5448fba5aedf02508129966f7b Mon Sep 17 00:00:00 2001 From: Maksim Andrianov Date: Tue, 14 May 2019 15:27:54 +0300 Subject: [PATCH] [3party] Added boost branch. --- .gitmodules | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitmodules b/.gitmodules index 8d02a0057c..ccac167447 100644 --- a/.gitmodules +++ b/.gitmodules @@ -22,3 +22,4 @@ [submodule "3party/boost"] path = 3party/boost url = https://github.com/boostorg/boost.git + branch = boost-1.68.0