K 10 svn:author V 7 jfieber K 8 svn:date V 27 1995-08-25T23:26:49.000000Z K 7 svn:log V 72 Make the -ascii option generate filename.ascii rather than filename.txt END