../ diski1 25-Feb-2004 21:31 704 info1.tgz 25-Feb-2004 21:31 1M maketag 25-Feb-2004 21:31 844 tagfile 25-Feb-2004 21:31 22 tagfile.org 25-Feb-2004 21:31 22