Name Last modified Size Description Parent Directory - moresize.ins 1999-07-26 22:40 1.3K moresize.upl 1999-07-26 22:40 1.8K moresize.dtx 1999-07-26 22:40 28K