Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ragged2e.ins 2023-06-22 10:55 1.3K README.md 2023-06-22 10:55 1.7K test.pdf 2023-06-22 10:55 4.0K 3.pdf 2023-06-22 10:55 12K 4.pdf 2023-06-22 10:55 12K 1.pdf 2023-06-22 10:55 12K 6.pdf 2023-06-22 10:55 12K 2.pdf 2023-06-22 10:55 13K LICENSE.md 2023-06-22 10:55 18K ragged2e.dtx 2023-06-22 10:55 50K ragged2e.pdf 2023-06-22 10:55 686K