Skip to content
GitLab
Explore
Sign in
Fix EtherName
Code
Review changes
Check out branch
Download
Patches
Plain diff
Johannes Junggeburth
requested to merge
EtherName
into
main
Feb 20, 2024
Overview
0
Commits
4
Pipelines
3
Changes
2
Expand
Otherwise the Geant4 translator is confused
Merge request reports
Loading