favicon test
-rwxr-xr-x 1564 build_website.sh
-rw-r--r-- 471 favicon.ico
drwxr-xr-x - images
-rw-r--r-- 3216 index.txt
drwxr-xr-x - javascripts
-rw-r--r-- 94527 nobug_manual.txt
-rwxr-xr-x 716 post-receive
drwxr-xr-x - releases
-rw-r--r-- 34 robots.txt
drwxr-xr-x - stylesheets
-rw-r--r-- 19046 xhtml11.conf