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