Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
style.css 2022-07-19 00:39 6.6K
showlabels.pdf 2022-07-19 00:39 214K
showlabels.ins 2022-07-19 00:39 268
showlabels.html 2022-07-19 00:39 20K
showlabels.dtx 2022-07-19 00:39 52K
lppl.txt 2022-07-19 00:39 19K
VERSION 2022-07-19 00:39 6
README 2022-07-19 00:39 2.2K