From 0ecfe8105f4f96350228296d94c7f769080c96fb Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Mon, 26 Oct 2020 22:24:05 +0200 Subject: [PATCH] Docs: Unify CLI commands to use "pio" short version command --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs b/docs index 7eb9279b..35700d74 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 7eb9279b2c0683fa2e0a808788684b2c67bbe309 +Subproject commit 35700d7432848861094094245f6b4ddf5d28e20d