ArduinoIDE board manager was still 3.0.0-rc1.
Is there any documentation to download 3.0.0 from Github and make it available in ArduinoIDE?
edit:
After deleting the remaining “…_dev_index.json” file, I can now use 3.0.0.
ArduinoIDE board manager was still 3.0.0-rc1.
Is there any documentation to download 3.0.0 from Github and make it available in ArduinoIDE?
edit:
After deleting the remaining “…_dev_index.json” file, I can now use 3.0.0.