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 /.gitignore | |
| parent | 90adfe55d9d636f85e0cfa7e0f1bd2b045e6ad76 (diff) | |
| download | ekdosis-c9d393cefb1046142a9fe57b0227ee8d3f5395c4.tar.gz | |
\label and \linelabel generated wrong xml:ids. documenting on TEI output
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions