Skip to content

Remove unused (obsolete) Muon tools

Gerhard Raven requested to merge remove-unused-run1+2-muon-code into master

As mentioned in this comment, there are unused Muon tools -- at least, they will be unused as soon as !3484 (merged) is merged. This MR removes them. So this should be merged shortly after !3484 (merged) is merged.

Edited by Gerhard Raven

Merge request reports