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

Case-sensitive filenames for Linux #1308

Merged
merged 1 commit into from May 16, 2015

Conversation

Projects
None yet
1 participant
@crabmusket
Contributor

crabmusket commented May 16, 2015

See #1287.

@crabmusket crabmusket added the Defect label May 16, 2015

@crabmusket crabmusket added this to the 3.7 milestone May 16, 2015

crabmusket added a commit that referenced this pull request May 16, 2015

Merge pull request #1308 from eightyeight/linux-filenames
Case-sensitive filenames for Linux

@crabmusket crabmusket merged commit aacad0d into GarageGames:release-3.7 May 16, 2015

@crabmusket crabmusket deleted the crabmusket:linux-filenames branch May 16, 2015

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment