mirror of
https://github.com/arduino/Arduino.git
synced 2024-12-01 12:24:14 +01:00
5bb9f87fae
If the package_index.json signature is not valid, a dialog box asking the user to "update" the index is shown. Previously a java-exception was printed if running from terminal or the IDE would not start at all (with no apparent reason) if lanched from GUI. |
||
---|---|---|
.. | ||
lib | ||
src | ||
.classpath | ||
.editorconfig | ||
.gitignore | ||
.project | ||
build.xml |