Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2007-02-03 23:20 511 anyfontsize.pdf 2010-02-14 23:41 184K anyfontsize.sty 2007-11-22 13:09 3.8K anyfontsize.tex 2010-02-14 23:41 2.0K