Merge pull request #3316 from nrwahl2/nrwahl2-xml_attrs
Still more XML renaming
Merge pull request #3316 from nrwahl2/nrwahl2-xml_attrs
Tags None Referenced Files None Subscribers None
Description Merge pull request #3316 from nrwahl2/nrwahl2-xml_attrs Still more XML renaming
Details
Event TimelineGitHub <noreply@github.com> committed rPf1ba9f588c4c: Merge pull request #3316 from nrwahl2/nrwahl2-xml_attrs (authored by kgaillot).Jan 11 2024, 10:30 AM2024-01-11 10:30:25 (UTC-5)
Merged Changes This commit merges a very large number of changes. Only the first 50 are shown.
|