K 10 svn:author V 3 alm K 8 svn:date V 27 1993-09-13T02:23:55.000000Z K 7 svn:log V 187 Fixed the extract() command which I had broken attempting to implement it without cat. It now requires cat again (no way around it unless gunzip can accept arbitrary filename suffixes). END