Hein-Pieter van Braam 8cde69f5f2 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. (cherry picked from commit d69d58deea)		2018-02-24 18:09:20 +01:00
..
dir_access_windows.cpp	Fix Windows file case changing	2018-02-24 18:09:20 +01:00
dir_access_windows.h
file_access_windows.cpp	fix buffer write performance on Windows and Unix	2018-02-04 13:23:23 +01:00
file_access_windows.h	fix buffer write performance on Windows and Unix	2018-02-04 13:23:23 +01:00
mutex_windows.cpp
mutex_windows.h
packet_peer_udp_winsock.cpp
packet_peer_udp_winsock.h
rw_lock_windows.cpp
rw_lock_windows.h
SCsub
semaphore_windows.cpp
semaphore_windows.h
shell_windows.cpp
shell_windows.h
stream_peer_tcp_winsock.cpp	Display set_nodelay to GDScript	2018-01-30 13:22:15 -02:00
stream_peer_tcp_winsock.h	Display set_nodelay to GDScript	2018-01-30 13:22:15 -02:00
tcp_server_winsock.cpp
tcp_server_winsock.h
thread_windows.cpp
thread_windows.h