![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 12_no-rtti.dpatch | 2008-01-13 22:23 | 681 | |
| 11-desktop-file.dpatch | 2008-01-13 22:23 | 761 | |
| 10-tex_files.cpp.dpatch | 2008-01-13 22:23 | 1.6K | |
| 08_gzipbest.dpatch | 2008-01-13 22:23 | 1.1K | |
| 07_fig2ps.dpatch | 2008-01-13 22:23 | 1.1K | |
| 06_rebuild-r.dpatch | 2008-01-13 22:23 | 899 | |
| 04_axiom.dpatch | 2008-01-13 22:23 | 2.1K | |
| 03_mupad.dpatch | 2008-01-13 22:23 | 763 | |
| 01_american.dpatch | 2008-01-13 22:23 | 4.6K | |