Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 26-Jul-2000 13:02 -
![[ ]](/icons/unknown.gif){kind=icon}
.cache 08-Dec-1994 17:07 2k
.cache+ 24-Oct-1994 11:41 5k
OWNER 15-Jan-1996 11:54 1k
![[ ]](/icons/hand.right.gif){kind=icon}
README 15-Jan-1996 11:54 2k
index.doc 05-May-1994 16:26 1k
index.fn 05-May-1994 16:26 1k
index.hl 05-May-1994 16:26 1k
index.index.lock 05-May-1994 16:26 1k
index.inv 05-May-1994 16:26 0k
index.update.lock 05-May-1994 16:26 1k