Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - bin/ 1999-10-20 09:25 - dosexe/ 2000-04-03 12:01 - idxsty/ 1999-10-20 09:25 - makefile 1995-07-13 02:00 2.4K rcs/ 1999-10-20 09:25 - texinput/ 1999-10-20 09:25 - tug95/ 2007-12-11 21:53 - tweb.sty 1995-07-11 02:00 20K vc.mnu 1995-07-11 02:00 457