00index.txt         234  
diskd1              568  
gcc.tgz          564628  
gxx.tgz          606995  
maketag            2180  
tagfile            1904  
tagfile.org        1904  
tagfile.pat         268  
tools.tgz        145086  
