Manual: Rename file

This commit is contained in:
Eelco Dolstra 2015-12-07 20:35:25 +01:00
parent 05c12a337d
commit e115e3fd76