Update arena configs from maDisplayTools#95

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