Rename from wrong file name extension.

This commit is contained in:
Lars Brinkhoff 2016-07-15 07:58:17 +02:00
parent b4ae6c0250
commit 2328df1d47