Rename a wrongly named file.

This commit is contained in:
José Valim
2009-07-01 22:27:48 +02:00
parent ea0b0c820d
commit 776220e1e2