OpenDUNE/OpenDUNE — pull request #188 by miniupnp (2013-02-10 10:58:41+00:00)
Title: Try to open files with uppercase name after trying lowercase

This allow to use uppercase original files in data/
on systems with case sensitive file systems

Does the same with File_Delete()