Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - footmisc.ins 2024-12-24 13:13 2.1K footmisc.dtx 2024-12-24 13:13 82K footmisc-doc.tex 2024-12-24 13:13 176 footmisc-doc.pdf 2024-12-24 13:13 244K footmisc-code.tex 2024-12-24 13:13 101 footmisc-code.pdf 2024-12-24 13:13 358K footmisc-2011-06-06.sty 2024-12-24 13:13 25K changes.txt 2024-12-24 13:13 1.9K README.md 2024-12-24 13:13 448