Closed hg42 closed 4 years ago
fixes issue #12
file names are case sensitive on Linux (and may be many other OSes)
fixes issue #12
file names are case sensitive on Linux (and may be many other OSes)