../ diski1 26-Feb-2004 05:05 706 info1.tgz 26-Feb-2004 05:05 218 maketag 26-Feb-2004 05:05 844 tagfile 26-Feb-2004 05:05 22 tagfile.org 26-Feb-2004 05:05 22