fix case insensitivity

This commit is contained in:
Niklas Buschmann committed 2019-07-18 22:05:52 +02:00
1 parent bcdd518757
commit 980c0eea76
1 file changed
File renamed without changes.