K 10 svn:author V 3 ben K 8 svn:date V 27 2000-07-20T14:03:03.000000Z K 7 svn:log V 243 Change <@> to <@>. In the same question, fix a few other things: * -> * to man.cgi -> * -> PR: 20056 Submitted by: Udo Erdelhoff END