diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2022-01-16 17:19:25 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2022-01-16 17:19:25 +0100 |
| commit | 863ad49de9f09ea0a567ac800725c2e56244967e (patch) | |
| tree | d164893e58e51e9e08670355cf948bf182788f86 /Makefile | |
| parent | c10daf3695c4eb889c3831e0687aef2acf09db76 (diff) | |
| download | ekdosis-863ad49de9f09ea0a567ac800725c2e56244967e.tar.gz | |
Allow xml:ids to start with chars above #127 (eg. Greek letters). Fixed unwanted space after empty \rdg.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions