Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
windexdoc.tex 1991-01-17 01:00 15K
windexample.index 1991-01-17 01:00 600
windexample.idx 1991-01-17 01:00 958
windex.tex 1991-01-17 01:00 2.7K
windex.c 1991-01-17 01:00 27K