Closed tomschr closed 3 years ago
Have you checked whether this interferes with the intra-xref PR?
Looks good other than that.
Have you checked whether this interferes with the intra-xref PR?
Yes, I left out these files to avoid any conflicts etc. The risk was too high. :wink:
Thanky!
This PR adds the
xml:
prefix to the attributes@lang
and@id
. In some cases, it simplifies the XPath expression.TODO: check if everything is still okay.