K 10 svn:author V 5 joerg K 8 svn:date V 27 1995-08-06T19:39:38.000000Z K 7 svn:log V 63 Remove the comment about the broken getopts(1) in our /bin/sh. END