Skip to content
Snippets Groups Projects

minor cleanup while working on FlatDetector

Merged minor cleanup while working on FlatDetector
jw1 into r22
Merged Wuttke, Joachim requested to merge jw1 into r22
  1. Aug 10, 2023