Skip to content

Rename xml files#269

Merged
m-philipps merged 4 commits intoBenchmarking-Initiative:masterfrom
stephanmg:rename_xml_files
Jul 9, 2025
Merged

Rename xml files#269
m-philipps merged 4 commits intoBenchmarking-Initiative:masterfrom
stephanmg:rename_xml_files

Commits

Commits on Jul 8, 2025