Mike Schwörer c4692fee0a Changed {{core.ignorecase}} to false ...

// git config --unset-all core.ignorecase false

2014-07-30 20:10:27 +02:00

..

list_top50.php

Changed {{core.ignorecase}} to false

2014-07-30 20:10:27 +02:00

listentries.php

Changed {{core.ignorecase}} to false

2014-07-30 20:10:27 +02:00

listgames.php

Changed {{core.ignorecase}} to false

2014-07-30 20:10:27 +02:00