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