Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - manifest.txt 2016-02-06 08:39 364 README.md 2020-06-14 09:03 1.7K pict2e.ins 2016-02-12 23:46 3.1K p2e-drivers.dtx 2016-02-12 23:46 17K pict2e.dtx 2020-10-01 00:23 134K p2e-drivers.pdf 2020-10-01 00:24 211K pict2e.pdf 2020-10-01 00:24 879K