Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
screenshot.png 2023-02-17 20:12 106K
changelog.pdf 2023-02-17 20:12 53K
LICENSE.txt 2023-02-17 20:12 19K
example.pdf 2023-02-17 20:12 17K
changelog.tex 2023-02-17 20:12 14K
changelog.sty 2023-02-17 20:12 12K
README.md 2023-02-17 20:12 1.3K
example.tex 2023-02-17 20:12 1.3K