From 39e31b23529ef764db04d47e9b59e8a2777b50dc Mon Sep 17 00:00:00 2001 From: ZaPpInG Date: Tue, 22 Jan 2019 17:29:44 +0100 Subject: [PATCH] Correct link to Arduino Board Manager info (#5650) The link was 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 d240cd4c1..3ef16bcc8 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 -----------------