Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README 1999-08-07 02:00 1.7K
trfsigns.ins 1999-08-07 02:00 2.8K
trfsigns.dtx 1999-08-07 02:00 15K
COPYING 1999-08-07 02:00 18K
trfsigns.pdf 2005-06-29 21:07 207K