mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-11 00:52:21 +01:00
d65e6ffc3d
Two fix for future Windows compatibility
Two fix for future Windows compatibility