![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| bat/ | 2021-11-03 09:41 | - | |
| bin/ | 2023-12-06 10:53 | - | |
| config.ps | 2005-01-21 17:49 | 3.2K | |
| eclipse-preferences.epf | 2007-02-26 16:16 | 18K | |
| eclipse-update-sites-new.xml | 2008-01-22 12:08 | 3.0K | |
| eclipse-update-sites.xml | 2007-02-23 16:08 | 905 | |
| miktex-dvips-config.ps | 2005-01-21 17:49 | 3.2K | |
| miktex-pdftex-config-pdftex.cfg | 2004-06-29 15:46 | 554 | |
| miktex.ini | 2005-01-21 17:38 | 284 | |
| mount-points.txt | 2008-02-18 18:03 | 192 | |
| mounts.sh | 2010-05-25 16:46 | 212 | |
| pdftex.cfg | 2004-06-29 15:46 | 554 | |
| usr-local-bin/ | 2023-12-06 10:53 | - | |