![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| bin/ | 19-Nov-2002 17:30 | - | |
| dist/ | 26-Jan-2010 19:57 | - | |
| etc/ | 15-Sep-2004 14:21 | - | |
| historic/ | 27-Aug-2009 22:59 | - | |
| lib/ | 05-Jan-2002 14:45 | - | |
| lost+found/ | 22-Sep-2004 02:00 | - | |
| mail-archives/ | 17-Jan-2003 18:41 | - | |
| mail/ | 05-Jan-2002 14:45 | - | |
| mirror/ | 27-Nov-2009 02:49 | - | |
| tex/ | 10-Dec-2009 19:42 | - | |
| texlive/ | 09-Feb-2010 03:34 | - | |
| usr/ | 19-Nov-2002 17:30 | - | |