expand sourceDoc: include content from text in sourceDoc
Description
Description
Details
Details
- Committed
steinech Dec 11 2023, 18:48 - Pushed
steinech Dec 11 2023, 18:49 - Parents
- rTOPOTEI1604ee84736e: bugfix: prevent error if pb lacks a @xml:id
- Branches
- Unknown
- Tags