Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - CHANGES.old 2023-10-27 17:59 13K README.md 2023-10-27 17:59 2.5K titleps.pdf 2023-10-27 17:59 140K titleps.tex 2023-10-27 17:59 31K titlesec.pdf 2023-10-27 17:59 511K titlesec.tex 2023-10-27 17:59 73K titleps.sty 2023-10-27 17:59 25K titlesec.sty 2023-10-27 17:59 48K titletoc.sty 2023-10-27 17:59 16K