Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - manifest.txt 2015-07-21 11:26 300 example/ 2015-07-20 09:56 - copyedit.pdf 2015-07-21 11:17 256K copyedit.ins 2015-07-21 11:17 1.1K copyedit.dtx 2015-07-21 11:17 23K README 2015-07-20 10:33 1.5K