Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
DEPENDS.txt 2022-06-11 15:16 8
README.md 2023-07-08 12:19 1.1K
ligtype.sty 2023-07-09 12:52 2.1K
ligtype.tex 2023-07-08 14:23 18K
ligtype.pdf 2023-07-08 14:23 89K
ligtype.lua 2023-07-10 12:46 96K