Skip to content

simplify back-end selection in brun, and fix auto-detection#92

Merged
arvidn merged 1 commit intomainfrom simplify-brun-backendOct 20, 2022