Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 1999-07-26 21:40 1.8K moresize.dtx 1999-07-26 21:40 28K moresize.ins 1999-07-26 21:40 1.3K moresize.upl 1999-07-26 21:40 1.8K moresize.pdf 2010-03-20 17:02 257K