This repository has been archived by the owner on Nov 14, 2018. It is now read-only.
Renaming a file is not case sensitive #508
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
I'm using the hosted web version on juliabox.com, and I noticed that if you rename a file the rename is not case sensitive. If you change the case of the text, but add no additional characters the file will not be changed.
Not sure if this is on purpose or not.
The text was updated successfully, but these errors were encountered: