mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
aae0bc4c47
The extra "File" in the name was a bit redundant, and this is more consistent with `Sketch.delete()`.