From 20d6901deae85d0a1a3c2f1083adbdb304642d6d Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Tue, 6 Dec 2016 13:19:35 +0200 Subject: [PATCH] Add link to global `lib_extra_dirs` option --- README.rst | 2 +- docs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/README.rst b/README.rst index 05160322..07adc48b 100644 --- a/README.rst +++ b/README.rst @@ -47,7 +47,7 @@ IDE integration. Arduino, ESP8266 and ARM mbed compatible * **PlatformIO IDE** - The next-generation integrated development environment for IoT. C/C++ Intelligent Code Completion and Smart Code Linter for the super-fast coding. Multi-projects workflow with Multiple Panes. Themes Support with dark and light colors. - Built-in Terminal with PlatformIO CLI tool and support for the powerful Serial Port Monitor. + Built-in Terminal with PlatformIO Core tool and support for the powerful Serial Port Monitor. All advanced instruments without leaving your favourite development environment. * **Development Platforms** - Embedded and Desktop development platforms with pre-built toolchains, debuggers, uploaders and frameworks which work under diff --git a/docs b/docs index 4428b05c..d863d950 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 4428b05c61e37f7268d28f24078ae63aa09383c3 +Subproject commit d863d950aede5dfe794032c262ac9509526b57c5