mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-29 18:52:13 +01:00
067b14a16c
tgz reduced from 79M(395M uncompressed) to 56M(193M uncompressed)