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