1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-23 12:52:13 +01:00

3 Commits

Author SHA1 Message Date
Federico Fissore
f9612bcdbd Updatable boards support and libraries notification 2015-08-06 10:27:51 +02:00
Federico Fissore
59dfede5ac Libraries with a .development file in their root are flagged as "OnDevelopment".
This allows users to edit and save those libraries examples: they won't be flagged as read-only any more
2015-08-05 16:26:21 +02:00
Federico Fissore
43f33d8220 Tools marked as installed but missing (as when you want to use a system installed avr-gcc) sets to "" the final build preference. Fixes #3074 2015-07-09 15:16:19 +02:00