Just rename the file.

This commit is contained in:
Matthias Fischmann 2015-11-16 18:33:35 +01:00
parent fdd1829c8f
commit a1dcc275eb