1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-19 08:52:15 +01:00
Petri Laarne 1fc0997f71 Do not delete the source if source = destination
While the previous version could handle the case, it only did so after
deleting the destination file, therefore causing data loss.
2017-03-08 13:23:50 +01:00
..
2017-03-01 10:38:09 +01:00
2017-03-01 10:38:09 +01:00