diff options
| author | Mikkel Jeppesen <2756925+Duckle29@users.noreply.github.com> | 2020-02-11 10:37:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-11 10:37:15 +0100 |
| commit | 310b2f1be43a9faa8599f143b459ae43e55393a4 (patch) | |
| tree | c3b79b30246f6dfa8a3604b32d93af06f60b18fa /Makefile | |
| parent | 1fed214490e00e83b958a239c7cb97e98eec763b (diff) | |
use replace() over rename() to have cross-platform overwriting (#8148)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions