Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - gpl.txt 2007-11-01 16:33 15K dot2texi.pdf 2008-05-07 17:29 137K dot2texi.tex 2008-05-07 17:29 20K README 2008-05-07 17:40 1.1K examples/ 2008-05-07 19:33 - dot2texi.sty 2012-05-07 03:35 9.5K