From f4b4f5c434a698e0b0a4ec6a889d9325ca2489d6 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Thu, 31 May 2018 15:21:39 +0300 Subject: [PATCH] Improve docs for `lib_ignore` option --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs b/docs index 48295313..7c206c57 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 4829531302df5f2e6cc031fa8807f6854e979115 +Subproject commit 7c206c57f03279271aee4c5043ea5a50b95c8edc