Skip to content

do not print SequencerTimerTool header in finalize if there are no timing results

Gerhard Raven requested to merge do-not-print-empty-timertool into master

Merge request reports