Hein-Pieter van Braam d69d58deea 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.		2018-02-24 17:37:07 +01:00
..
dir_access_windows.cpp	Fix Windows file case changing	2018-02-24 17:37:07 +01:00
dir_access_windows.h
file_access_windows.cpp	fix buffer write performance on Windows and Unix	2018-02-19 22:13:45 +01:00
file_access_windows.h	fix buffer write performance on Windows and Unix	2018-02-19 22:13:45 +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-02-04 20:02:04 +01:00
stream_peer_tcp_winsock.h	Display set_nodelay to GDScript	2018-02-04 20:02:04 +01:00
tcp_server_winsock.cpp
tcp_server_winsock.h
thread_windows.cpp
thread_windows.h