T
Thomas Philips
When opening a file with file.open(filename,"r") under Windows, I find
that the file name is case sensitive - any error in the case leads to
the file not being found. Is it possible to locate filenames in a
case-insensitive manner under Windows?
that the file name is case sensitive - any error in the case leads to
the file not being found. Is it possible to locate filenames in a
case-insensitive manner under Windows?