jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-29 03:47:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
605b3cca8ef6d9d0add0298d7884372b05446d0a
arduino-ide/arduino-ide-extension/src/browser/contributions/indexes-update-progress.ts
Akos Kitta 0c20ae0e28 Various library/platform index update fixes 
- IDE2 can start if the package index download fails. Closes #1084
 - Split the lib and platform index update. Closes #1156

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
2022-10-05 09:17:37 +02:00

2.4 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink