fix header comment
authorRoss Paterson <ross@soi.city.ac.uk>
Tue, 26 Sep 2006 13:58:43 +0000 (13:58 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Tue, 26 Sep 2006 13:58:43 +0000 (13:58 +0000)

No differences found