Rename the file, too

This commit is contained in:
Jeremy Ruston
2012-10-25 12:57:15 +01:00
parent 6d397edf30
commit 73bcb1c31e