Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
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