Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
marginfit.pdf 2018-07-26 16:16 209K
marginfit.ins 2018-06-08 14:43 741
marginfit.dtx 2018-06-08 14:42 21K
README 2018-06-08 14:42 875
Makefile 2017-04-11 12:37 1.1K