| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| README | 8537 | 2012-Oct-14 02:29 | |
| README-de | 952 | 2012-Oct-14 02:29 | |
| README-en | 3848 | 2012-Oct-14 02:29 | |
| README-eo | 3799 | 2012-Oct-14 02:29 | |
| dateiliste.dtx | 73208 | 2012-Oct-14 02:29 | |
| dateiliste.ins | 2341 | 2012-Oct-14 02:29 | |
| dateiliste.pdf | 262917 | 2012-Oct-14 02:29 | |