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