Update development JSON location

me-no-dev · web-flow · commit 01d9345d284a · 2019-10-01T12:14:07.000+03:00
diff --git 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`

Original file line number	Diff line number	Diff line change
`@@ -10,4 +10,4 @@ Starting with 1.6.4, Arduino allows installation of third-party platform package`
`10`	`10`
`11`	`11`	Stable release link: `https://dl.espressif.com/dl/package_esp32_index.json`
`12`	`12`
`13`		-Development release link: `https://dl.espressif.com/dl/package_esp32_dev_index.json`
	`13`	+Development release link: `https://espressif.github.io/arduino-esp32/package_esp32_dev_index.json`