Merge pull request #3310 from nrwahl2/nrwahl2-xml_attrs
Rename more XML constants
Merge pull request #3310 from nrwahl2/nrwahl2-xml_attrs
Tags None Referenced Files None Subscribers None
Description Merge pull request #3310 from nrwahl2/nrwahl2-xml_attrs Rename more XML constants
Details
Event TimelineGitHub <noreply@github.com> committed rP348f51f6e540: Merge pull request #3310 from nrwahl2/nrwahl2-xml_attrs (authored by kgaillot).Jan 9 2024, 2:56 PM2024-01-09 14:56:28 (UTC-5)
Merged Changes This commit merges a very large number of changes. Only the first 50 are shown.
|