| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| patch-wml_frontend-wml.src.diff | 1.5 KiB | 2020-Nov-16 23:46 |
| patch-wml_common-Makefile.in.diff | 756 B | 2020-Nov-16 23:46 |
| patch-pod-encoding.diff | 1.6 KiB | 2020-Nov-16 23:46 |
| patch-no_txt2html.diff | 3.9 KiB | 2020-Nov-16 23:46 |
| patch-no_tidy.diff | 4.6 KiB | 2020-Nov-16 23:46 |
| patch-no_gm4.diff | 3.2 KiB | 2020-Nov-16 23:46 |
| patch-no_eperl.diff | 3.8 KiB | 2020-Nov-16 23:46 |
| patch-configure.diff | 1.2 KiB | 2020-Nov-16 23:46 |
| patch-Makefile.in.diff | 485 B | 2020-Nov-16 23:46 |