Remove extraneous and misleading old CVS IDs
authorMike Taylor <mike@miketaylor.org.uk>
Tue, 8 Jun 2010 14:55:49 +0000 (15:55 +0100)
committerMike Taylor <mike@miketaylor.org.uk>
Tue, 8 Jun 2010 14:55:49 +0000 (15:55 +0100)

No differences found