renamed to make Windows happy

This commit is contained in:
2015-09-17 14:13:01 +02:00
parent e2af7e3149
commit 38c4f5bcb6