1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-19 08:52:15 +01:00

Fixed build (rename arduino-builer-arm to arduino-builder-linuxarm)

Fix #5945
This commit is contained in:
Cristian Maglie 2017-02-03 15:11:29 +01:00
parent 29613e2166
commit 057419b08b