mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-29 18:52:13 +01:00
63d3190cbb
That way, we can wait to rename them until the user explicitly opens them in Arduino 1.0.