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