Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ltxdockit.sty 2011-03-25 20:33 15K ltxdockit.def 2011-03-25 20:33 1.1K ltxdockit.cls 2011-03-25 20:33 3.9K ltxdockit.cfg 2011-03-25 20:33 2.6K btxdockit.sty 2011-03-25 20:33 2.2K README 2011-03-25 20:33 1.1K