Arduino/src at 43743bb1a313e5c1ba8b997236eb7f3eb668d7f0 - Arduino - Rooty - Git Service

rooty/Arduino

mirror of https://github.com/arduino/Arduino.git synced 2025-04-02 19:25:26 +02:00

History

Federico Fissore d02cdfdb07 If a contribution misses its checksum, consider it a development build: force re-downloading by deleting previously downloaded files and skip checksum verification

2015-07-02 15:04:10 +02:00

..

If a contribution misses its checksum, consider it a development build: force re-downloading by deleting previously downloaded files and skip checksum verification

2015-07-02 15:04:10 +02:00

Tools path unversioned properties are adjusted right before compiling.

2015-07-01 17:11:25 +02:00