Update arena configs from maDisplayTools#147

github-actions[bot] wants to merge 1 commit into

mainreiserlab/webDisplayTools:mainfrom

auto/sync-arena-configsreiserlab/webDisplayTools:auto/sync-arena-configsCopy head branch name to clipboard