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