Files
git/compat
JiSeop Moon 6d2bd51d48 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>
2018-11-19 23:29:40 +01:00
..
2018-11-19 22:19:59 +01:00
2017-07-05 14:01:03 -07:00
2017-07-05 14:01:03 -07:00
2018-11-19 23:29:24 +01:00
2018-11-19 22:54:02 +01:00
2017-01-23 11:02:34 -08:00