../ 00index.txt 21-Jul-1994 23:48 156 diski1 21-Jul-1994 23:48 704 info1.tgz 21-Jul-1994 23:48 1145991 maketag 21-Jul-1994 23:48 844 tagfile 21-Jul-1994 23:48 22 tagfile.org 21-Jul-1994 23:48 22