Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ChangeLog 2011-12-29 22:20 202 Makefile 2011-12-29 21:54 1.7K README 2011-12-29 21:51 1.1K ginpenc.dtx 2011-12-29 22:18 19K ginpenc.ins 2011-12-29 22:12 1.4K ginpenc.pdf 2011-12-29 22:18 193K news-message.txt 2003-09-16 10:11 2.3K testginpenc.tex 2003-09-29 18:38 744