Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - empty.f 2023-02-13 19:17 0 wrong.prv 2023-02-13 19:17 50 provonly.fd 2023-02-13 19:17 206 srcfiles.tex 2023-02-13 19:17 1.2K nicefilelist.tex 2023-02-13 19:17 18K