Skip to content

Rename xml files - #269

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

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

Renaming Giordano.

b7af7a0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.