Skip to content
GitLab
Explore
Sign in
Rename MuonSystem det element to Muon
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ben Couturier
requested to merge
rename_MuonSystem
into
master
Jun 16, 2022
Overview
2
Commits
2
Pipelines
3
Changes
2
Expand
Rename MuonSystem det element to Muon Set with
Detector!218 (merged)
Edited
Jun 28, 2022
by
Sebastien Ponce
Merge request reports
Loading