chiark / gitweb /
Remove crufty old CVS $Id$ markers.