JeffersonLab / japan

Just Another Parity ANalyzer
7 stars 13 forks source link

Rename file to avoid name clash on case-insensitive file system #326

Closed hansenjo closed 10 months ago

hansenjo commented 1 year ago

Bad things happen to git if there are files in the index whose names are indentical except for case, and the repository is put on a case-insensitive file system, like macOS's root partition.