I'm moving Git to git.hoeg.nl.
tree2cc6a8300b54b9ca32ba597e1b46da685999536d
-rw-r--r-- 133 .gitignore
-rw-r--r-- 1294 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