Files
git/compat
JiSeop Moon 5875222af6 mingw: when running in a Windows container, try to rename() harder
It is a known issue that a rename() can fail with an "Access denied"
error at times, when copying followed by deleting the original file
works. Let's just fall back to that behavior.

Signed-off-by: JiSeop Moon <zcube@zcube.kr>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
2023-05-24 16:38:08 -06:00
..
2022-05-02 09:50:37 -07:00
2022-05-02 09:50:37 -07:00