Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - drm.pdf 2015-08-18 21:23 1.4M small_specimen.pdf 2015-08-18 21:23 204K specimen.pdf 2015-08-18 21:23 601K drm_font_tables.pdf 2015-08-18 21:23 1.6M small_specimen.tex 2015-08-18 21:23 4.9K specimen.tex 2015-08-18 21:23 12K