Merge pull request #3313 from nrwahl2/nrwahl2-xml_attrs3
More XML renaming
Merge pull request #3313 from nrwahl2/nrwahl2-xml_attrs3
Tags None Referenced Files None Subscribers None
Description Merge pull request #3313 from nrwahl2/nrwahl2-xml_attrs3 More XML renaming
Details
Event TimelineGitHub <noreply@github.com> committed rP886644f63ad1: Merge pull request #3313 from nrwahl2/nrwahl2-xml_attrs3 (authored by kgaillot).Jan 9 2024, 6:56 PM2024-01-09 18:56:12 (UTC-5)
Merged Changes This commit merges a very large number of changes. Only the first 50 are shown. |