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