Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename CNN.jpg to cnn.jpg so CSS can find it #895

Merged
merged 1 commit into from
Jun 12, 2018

Conversation

hdoupe
Copy link
Collaborator

@hdoupe hdoupe commented Jun 12, 2018

No description provided.

@hdoupe
Copy link
Collaborator Author

hdoupe commented Jun 12, 2018

I thought this was fixed in #889. It turns out git's diff functionality is case-insensitive when it comes to file names. So, this change was never displayed in the git diff and I did not double check to make sure the change was checked in. You can force git to be case-sensitive with regard to filenames via the git mv command, e.g. git mv CNN.jpg cnn.jpg. Anyways this is resolved now.

@hdoupe hdoupe merged commit b642cb0 into ospc-org:master Jun 12, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant