forked from sascha/godot
Fix Windows file case changing
Windows APIs don't really provide a way to change a filename case. This implements a little juggling to make this work. We first create a guaranteed unique temporary file, we then replace the original file with the temporary file and we finally rename it to the desired filename case.3.0
parent
34591f9451
commit
d69d58deea
Loading…
Reference in New Issue