![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| bin/ | 19-Nov-2002 17:30 | - | |
| dist/ | 20-Mar-2010 17:52 | - | |
| etc/ | 15-Sep-2004 14:21 | - | |
| historic/ | 22-Feb-2010 01:48 | - | |
| 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/ | 07-Mar-2010 17:51 | - | |
| texlive/ | 22-Mar-2010 04:08 | - | |
| usr/ | 19-Nov-2002 17:30 | - | |