chiark / gitweb /
Remove reference to non-existing file.