diff install-sh @ 2594:2de306979a2a sv_v4.2

Minor updates to debug and other wording for 4.2; fix failure to show plugin population warning dialog
author Chris Cannam
date Fri, 14 Aug 2020 10:48:29 +0100
parents c053d985ec8c
children
line wrap: on
line diff