patch: better filename for download.
treed5a01486037c70f7a70ec62552f1e29f348f8d45
-rw-r--r-- 30 .gitignore
-rw-r--r-- 1837 default.css
drwxr-xr-x - doc
-rw-r--r-- 730 favicon.png
drwxr-xr-x - inc
-rw-r--r-- 12639 index.php
drwxr-xr-x - templates