Feature/issue 134 change pref defaults#149

Merged

PhilippSalvisberg merged 2 commits intomainfrom

feature/issue-134-change-pref-defaults

Feb 26, 2022

Commits on Feb 26, 2022

change test case for default values of realtime reporter preferences according #134
PhilippSalvisberg
committed
closes #134 - new default values of realtime reporter preferences according
PhilippSalvisberg
committed