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.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 ltxdockit.def 2011-03-25 20:33 1.1K README 2011-03-25 20:33 1.1K