mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
4266b3a700
The new method will be used in next commits to handle installations of multiple libraries. This commit fix also minor bug in progress bar.