![[TXT]](../../../.misc/text.gif){kind=small}
190 1983-07-27 cdoc0 ASCII text file 9432 1983-07-27 cdoc1 ASCII text file 5407 1983-07-27 cdoc2 ASCII text file 24673 1983-07-27 cdoc3 ASCII text file 3932 1983-07-27 cdoc4 ASCII text file 10977 1983-07-27 ios.r ASCII text file 14059 1983-07-27 newstuff ASCII text file
