Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - trapman.tex 1993-09-22 00:41 18K trap.mf 1998-08-09 05:20 12K trap.pl 2008-03-17 09:42 10K mfbook.tex 2021-01-25 19:04 922K trapin.log 2021-01-26 11:22 4.5K trap.log 2021-01-26 11:22 119K trapin.fot 2021-01-26 11:22 2.2K trap.72270gf 2021-01-26 11:22 1.0K trap.fot 2021-01-26 11:22 1.7K trap.typ 2021-01-26 11:22 4.4K mf.web 2021-02-05 07:52 898K