buildd: Rename HEADER.html to index.html, as being used on daily.grml.org.
[grml-live.git] / buildd / files /
drwxr-xr-x   ..
-rw-r--r-- 6375 .logo.png
-rw-r--r-- 3714 .style.css
-rw-r--r-- 2034 header.txt
-rw-r--r-- 7349 index.html