tree dc5505a933b3de964c257836bf1ad4f94b248f4b
parent 9864524d9e45e4d472f54a8a679cffbe30de74ed
author Marc Kupietz <kupietz@ids-mannheim.de> 1716735267 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1716735814 +0200

Use base-uri instead of document-uri to get source file name

Seems more stable across saxon version