Skip to content

Feature/issue 134 change pref defaults#149

Merged
PhilippSalvisberg merged 2 commits into
mainfrom
feature/issue-134-change-pref-defaults
Feb 26, 2022
Merged

Feature/issue 134 change pref defaults#149
PhilippSalvisberg merged 2 commits into
mainfrom
feature/issue-134-change-pref-defaults

closes #134 - new default values of realtime reporter preferences acc…

582b8a3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs