Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 26-Jan-2001 12:07 -
![[TXT]](/icons/text.gif){kind=icon}
pt-20.1 18-Jul-1993 13:56 39k
pt-20.12 18-Jul-1993 13:56 41k
pt-20.16 03-May-1993 00:55 35k
pt-20.2 11-Jan-1993 00:16 28k
pt-20.20 18-Jul-1993 13:56 39k
pt-20.24 15-Jun-1993 17:59 36k
pt-20.26 18-Jul-1993 13:55 39k
pt-20.28 16-Jan-1994 10:35 37k
pt-20.7 06-Apr-1993 20:13 38k
pt-20.8 06-Apr-1993 20:13 40k