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

1 Commits

Author SHA1 Message Date
Federico Fissore
d5a0476948 Installing tools from packager (eg: arduino) in packager folder, thus avoiding
tools duplication and disk space wasting. Fixes #4193
2015-11-20 17:15:53 +01:00