Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - view-dvi.sh 2001-10-11 16:52 36 png2eps.sh 2001-10-11 17:03 127 vmlinux.png 2001-10-11 17:01 864 technics.sty 2001-10-12 09:38 3.5K technics.tex 2001-10-12 09:36 6.2K vmlinux.eps 2001-10-11 17:03 13K rf-logo.zip 2001-10-12 18:36 25K technics.pdf 2007-01-16 01:00 58K