![[TXT]](../../../../.misc/text.gif){kind=small}
3046 1999-11-27 mp.common.ps ASCII text file 2713 1999-11-27 mp.pro.alt.ps ASCII text file 3934 1999-11-27 mp.pro.altl.ps ASCII text file 3789 1999-11-27 mp.pro.ff.ps ASCII text file 3989 1999-11-27 mp.pro.fp.ps ASCII text file 4972 1999-11-27 mp.pro.l.ps ASCII text file 4701 1999-11-27 mp.pro.ps ASCII text file 3853 1999-11-27 mp.pro.tm.ps ASCII text file 3929 1999-11-27 mp.pro.ts.ps ASCII text file
