Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
COPYING 2011-06-27 08:40 21K
COPYING-FR 2011-06-27 08:40 21K
README 2011-06-27 08:55 312
getoptk.tex 2011-08-15 11:14 5.4K
guide.pdf 2011-08-15 11:14 274K
guide.tex 2011-06-27 08:52 6.5K