Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 21-Feb-2021 11:42 -
![[ ]](/icons/dvi.gif){kind=icon}
1doc.dvi 10-Jun-1995 10:00 24k
2doc.dvi 10-Jun-1995 10:00 21k
![[ ]](/icons/unknown.gif){kind=icon}
LIESMICH.! 10-Jun-1995 10:00 1k
doc.dvi 10-Jun-1995 10:00 44k
![[DIR]](/icons/folder.gif){kind=icon}
linux/ 20-Oct-1999 17:21 -
msdos/ 20-Oct-1999 17:21 -