Update the Herrie website on Trophees du Libre.
treef41c3535cd14a247d76a87efa14e34db0e0a77af
-rw-r--r-- 133 .gitignore
-rw-r--r-- 1056 TODO
-rwxr-xr-x 229 creatediff
-rwxr-xr-x 547 createtar
-rw-r--r-- 506 doxygen.cfg
drwxr-xr-x - herrie
drwxr-xr-x - misc
-rwxr-xr-x 261 syncmirror
-rwxr-xr-x 346 updatestuff
-rwxr-xr-x 195 win32_configure
drwxr-xr-x - www