Filename Modification time Size story.alw 1990-10-02 01:00 CET 12 KiB story.e72 1990-10-02 01:00 CET 8572 B story.eps 1990-10-02 01:00 CET 5937 B story.err 1990-10-02 01:00 CET 476 B story.imp 1990-10-02 01:00 CET 4885 B story.jep 1990-10-02 01:00 CET 6176 B story.tex 1990-10-02 01:00 CET 375 B story.tos 1990-10-02 01:00 CET 10 KiB
