1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-11 22:24:13 +01:00
Commit Graph

2 Commits

Author SHA1 Message Date
Federico Fissore
dc93bb93d0 ProgressListener is now a method arg (was an instance arg) 2015-08-06 10:27:51 +02:00
Federico Fissore
94b16a550e Faster library list downloading by downloading gzipped version 2015-05-21 17:02:21 +02:00