| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| CHANGELOG.md | 392 | 2024-Nov-25 00:40 | |
| LICENCE | 35149 | 2024-Nov-25 00:40 | |
| README.md | 1304 | 2024-Nov-25 00:40 | |
| easydoctex-mode.el | 6004 | 2024-Nov-25 00:40 | |
| edtx2dtx.1.md | 3059 | 2024-Nov-25 00:40 | |
| edtx2dtx.pl | 4308 | 2024-Nov-25 00:40 | |