Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - darkmode.tex 2022-09-01 22:59 55 darkmode-code.tex 2022-09-01 22:59 58 README.md 2022-09-01 22:59 463 darkmode.ins 2022-09-01 22:59 1.8K darkmode.dtx 2022-09-01 22:59 8.2K darkmode.pdf 2022-09-01 22:59 437K darkmode-code.pdf 2022-09-01 22:59 518K