Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - xsavebox.pdf 2022-08-04 17:10 369K xsavebox.sty 2022-08-04 14:47 11K xsavebox.tex 2022-07-29 10:27 10K README.md 2020-03-04 13:47 1.6K ChangeLog 2022-08-04 14:46 1.3K