From 81debf4cf65225ae5b3bfda6b5c82cc63164e0c8 Mon Sep 17 00:00:00 2001 From: ZaPpInG Date: Tue, 22 Jan 2019 14:17:24 +0100 Subject: [PATCH] Correct link to Arduino Board Manager info The link is pointing to Arduino Libraries Manager info and not to Arduino Board Manager info. --- doc/installing.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/installing.rst b/doc/installing.rst index d240cd4c16..3ef16bcc8b 100644 --- a/doc/installing.rst +++ b/doc/installing.rst @@ -35,7 +35,7 @@ might be broken. For more information on the Arduino Board Manager, see: -- https://www.arduino.cc/en/Guide/Libraries +- https://www.arduino.cc/en/guide/cores Using git version -----------------