From e60e076d16919866b2337c883c4a7dc0a717ad4b Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Wed, 16 Aug 2017 15:10:56 +0300 Subject: [PATCH] Better explanation about `lib_extra_dirs` --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs b/docs index 09dde9de..c3dc1fa9 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 09dde9de11fec71f9df931575542089870c6914a +Subproject commit c3dc1fa9bfe03c7f928ffae4ba45b7ebd5dacbe9