Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
LICENSE 2022-03-12 23:32 1.1K
README.md 2022-04-12 06:45 1.4K
bxorigcapt.pdf 2022-04-12 06:45 250K
bxorigcapt.sty 2022-04-12 06:45 6.8K
bxorigcapt.tex 2022-04-12 06:45 3.4K