tree adfc7ef4f857c1462a4c604026a2fa8b11fbeb9c
parent 866b20f3ca40fab432c70cb4eebc5ee94dea1e96
author Harald Lüngen <luengen@ids-mannheim.de> 1726732329 +0300
committer Harald Lüngen <luengen@ids-mannheim.de> 1726732329 +0300

flag for distinction between TEI and I5