Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - makefile 2003-08-10 02:00 607 manual.pdf 2003-08-10 02:00 218K pdftricks.sty 2003-08-10 02:00 13K pst2pdf 2003-08-10 02:00 492 test.pdf 2003-08-10 02:00 177K test.tex 2003-08-10 02:00 19K