Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
LICENSE.md 2021-11-16 17:52 696
README.md 2021-11-16 17:52 3.4K
texdimens.md 2021-11-16 17:52 31K
texdimens.pdf 2021-11-16 17:52 112K
texdimens.sty 2021-11-16 17:52 273
texdimens.tex 2021-11-16 17:52 40K