Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
minutes.pdf 2016-09-30 00:05 370K
minutes.ins 2016-09-30 00:05 3.6K
minutes.dtx 2016-09-30 00:05 89K
README.md 2016-09-30 10:06 2.4K
Protokol.tex 2016-09-30 00:05 33K
Overview.tex 2016-09-30 00:05 6.4K