bugfix for an error caused by an an xml:id with umlaut
Description
Description
Details
Details
- Committed
steinech Oct 23 2023, 10:51 - Pushed
steinech Oct 23 2023, 10:51 - Parents
- rTOPOTEI71230be28c58: order of tei files according to header file
- Branches
- Unknown
- Tags