Remove commented-out old de-duplication code. It's been over a year now.
authorPhilip Hazel <ph10@hermes.cam.ac.uk>
Fri, 30 Jun 2006 14:14:46 +0000 (14:14 +0000)
committerPhilip Hazel <ph10@hermes.cam.ac.uk>
Fri, 30 Jun 2006 14:14:46 +0000 (14:14 +0000)

No differences found