Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
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