Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2023-04-04 16:45 5.2K regstats-example.pdf 2023-04-04 16:45 58K regstats-example.log 2023-04-04 16:45 6.2K regstats.pdf 2023-04-04 16:45 464K regstats.dtx 2023-04-04 16:45 60K