rename html file

This will avoid renaming the html file in the gh-pages branch.
This commit is contained in:
Vivien Didelot 2013-08-05 16:18:09 -04:00
commit 3cfb2ceca2