From 01d9345d284a8bb7c18f7eca74188710468ba2ca Mon Sep 17 00:00:00 2001 From: Me No Dev Date: Tue, 1 Oct 2019 12:14:07 +0300 Subject: [PATCH] Update development JSON location --- docs/arduino-ide/boards_manager.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/arduino-ide/boards_manager.md b/docs/arduino-ide/boards_manager.md index 9161ba6ff..7ab82d50d 100644 --- a/docs/arduino-ide/boards_manager.md +++ b/docs/arduino-ide/boards_manager.md @@ -10,4 +10,4 @@ Starting with 1.6.4, Arduino allows installation of third-party platform package Stable release link: `https://dl.espressif.com/dl/package_esp32_index.json` -Development release link: `https://dl.espressif.com/dl/package_esp32_dev_index.json` +Development release link: `https://espressif.github.io/arduino-esp32/package_esp32_dev_index.json` -- GitLab