Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README.md 2022-04-16 08:01 1.2K
autopuncitems.sty 2022-04-16 08:01 3.4K
autopuncitems.lua 2022-04-16 08:01 4.4K
autopuncitems.tex 2022-04-16 08:01 7.7K
autopuncitems.pdf 2022-04-16 08:01 41K