Name Last modified Size Parent Directory - ransom10.tfm 1992-09-02 09:00 552 ransom10.300pk 1992-09-02 09:00 3.1K ransom10.300gf 1992-09-02 09:00 7.3K origin.tex 1992-09-02 09:00 700 origin.ps 2005-10-11 18:54 17K