| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| toppler.png | 1.1 KiB | 2020-Nov-17 08:38 |
| time.patch | 2.0 KiB | 2020-Nov-17 08:38 |
| patch-Makefile.in.diff | 454 B | 2020-Nov-17 08:38 |
| localedir.patch | 352 B | 2020-Nov-17 08:38 |
| configdir.patch | 328 B | 2020-Nov-17 08:38 |
