From 15bb626e7841ba7b663adf8b0422903845074282 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Thu, 14 Dec 2017 18:26:45 +0200
Subject: [PATCH] Docs: explain about VSCode known issue: "PackageManager is
 unable to install tool"

---
 docs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs b/docs
index 0f72050d..157c1c93 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 0f72050d3a2d9d67bfa74e426bd9418ad82fbd7f
+Subproject commit 157c1c930088cd3e90451e05529946dbf720ead7