Commit 74318aff authored by Philipp Krones's avatar Philipp Krones

Merge branch 'master' into 'master'

Fix issues with case-insensitive file systems

See merge request !60
parents f0781489 39d39b6c
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment