Mon, 22 Nov 2004 17:50:26 +0000Fix Edmonds' name.
alpar [Mon, 22 Nov 2004 17:50:26 +0000] rev 1020
Fix Edmonds' name.

Mon, 22 Nov 2004 17:49:07 +0000the old-style codes are removed from comment
marci [Mon, 22 Nov 2004 17:49:07 +0000] rev 1019
the old-style codes are removed from comment