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

Windows: fixed wrong sha file name

This commit is contained in:
Federico Fissore 2015-09-18 15:26:06 +02:00
parent 6ffaaa0ea4
commit 7f1afcd0b0