log main/PreferencesDialog.h @ 1835:e5229958a10c plugin-path-config

age author description
Fri, 11 May 2018 17:02:53 +0100 Chris Cannam Toward allowing the user to see (at least, and maybe change) the plugin path plugin-path-config