chiark / gitweb /
Remove some stray debugging code.