chiark / gitweb /
Infrastructure: Strip away crufty CVS $Id$ tags.