![[TXT]](../../../../../.misc/text.gif){kind=small}
518 1983-06-02 contents ASCII text file 402 1983-06-02 contents.1600 ASCII text file 93 1983-06-12 tapedir ASCII text file 98 1983-06-02 tapedir.1600 ASCII text file 93 1983-06-02 tstapedir ASCII text file
