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