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