Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 22-Dec-91 19:47 -
![[ ]](/icons/unknown.gif){kind=icon}
enst.comp 21-Nov-91 19:50 1k
enst.ikon 21-Nov-91 19:50 1k
![[IMG]](/icons/image2.gif){kind=icon}
enst.xbm 21-Nov-91 19:50 2k
face.gif 31-Mar-95 20:24 1k
face.ikon 21-Nov-91 19:50 1k
face.xbm 23-Dec-91 22:32 2k
face.xpm 11-Feb-95 21:01 3k
inf 21-Nov-91 19:50 2k