Commit 475a8dd5 authored Nov 14, 2022 by Peterson, Peter

Merge branch 'fix_mantid' into 'main'

Fix mantid launcher scripts

See merge request !16