* Undid my last patch and added a comment why it was unnecessary.
authorDirk Herrmann <dirk@dirk-herrmanns-seiten.de>
Thu, 7 Dec 2000 13:46:33 +0000 (13:46 +0000)
committerDirk Herrmann <dirk@dirk-herrmanns-seiten.de>
Thu, 7 Dec 2000 13:46:33 +0000 (13:46 +0000)

No differences found