../ diskd1 24-May-2002 16:07 781 gcc.tgz 24-May-2002 16:07 564628 gxx.tgz 24-May-2002 16:07 606995 maketag 24-May-2002 16:07 2339 tagfile 24-May-2002 16:07 1932 tagfile.org 24-May-2002 16:07 1932 tagfile.pat 24-May-2002 16:07 378 tools.tgz 24-May-2002 16:07 145086