Dear visitor,

the Git repositories that were served from this place previously have been moved to GitHub or taken off-line by now.
For some repositories, URL re-writing is in place to keep existing reverse links working.
However, if you miss a specific repository or have trouble finding it elsewhere please drop me a mail.

Have a great day,
Sebastian Pipping