From b310c57136e546e3d8dc8dd5e9e708f5c9e8614f Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Wed, 9 May 2018 15:35:06 +0300
Subject: [PATCH] Document the missed "--project-dir" and "--environment"
 options for `pio device monitor`

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

diff --git a/docs b/docs
index 665cd97c..87e20e51 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 665cd97c35ef2db63050176d5dfb7f1a7ece403e
+Subproject commit 87e20e519fd3ebdf1df0697ef0e9763d7d65a046