Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - COPYING 2014-11-09 12:58 18K Makefile 2014-11-09 12:58 1.6K README 2014-11-09 12:58 3.1K bigfoot.dtx 2015-08-30 16:31 141K bigfoot.ins 2015-08-30 16:37 647 bigfoot.pdf 2015-08-30 16:37 396K perpage.dtx 2014-11-09 12:58 20K perpage.pdf 2015-08-30 16:37 199K suffix.dtx 2014-11-09 12:58 8.5K suffix.pdf 2015-08-30 16:37 179K