Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ot1nofligj.etx 1999-08-23 05:07 784 dostretch.mtx 1999-08-23 05:07 896 ot1nofligcj.etx 1999-08-23 05:07 1.5K instcmrj.tex 1999-08-23 05:07 4.7K ot1noflig.etx 1999-08-23 05:07 18K