chiark / gitweb /
remove obsolete debian web config stuff