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 /LICENSE | |
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 'LICENSE')
0 files changed, 0 insertions, 0 deletions