Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README 2006-06-22 11:55 641
digiconfigs.sty 2006-06-22 11:55 4.6K
digiconfigs.tex 2006-06-22 11:55 7.0K
digiconfigs.pdf 2006-06-22 11:55 123K