Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 25-Mar-2022 00:25 -
![[ ]](/icons/compressed.gif){kind=icon}
changelog.Debian.gz 08-Dec-2006 17:48 5k
![[ ]](/icons/unknown.gif){kind=icon}
copyright 08-Dec-2006 17:48 2k
adminconfig.dvi.gz 08-Dec-2006 17:50 4k
adminconfig.lyx.gz 08-Dec-2006 17:50 3k
adminconfig.pdf.gz 08-Dec-2006 17:50 11k
adminconfig.ps.gz 08-Dec-2006 17:50 11k
adminconfig.txt.gz 08-Dec-2006 17:50 2k