diff options
author | Robert Alessi <alessi@robertalessi.net> | 2020-08-05 12:03:40 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2020-08-05 12:03:40 +0200 |
commit | c9d393cefb1046142a9fe57b0227ee8d3f5395c4 (patch) | |
tree | d31552d657db01efedf5cfe287db22a1c43e8148 /ekdosis.ins | |
parent | 90adfe55d9d636f85e0cfa7e0f1bd2b045e6ad76 (diff) | |
download | ekdosis-c9d393cefb1046142a9fe57b0227ee8d3f5395c4.tar.gz |
\label and \linelabel generated wrong xml:ids. documenting on TEI output
Diffstat (limited to 'ekdosis.ins')
0 files changed, 0 insertions, 0 deletions