diff configure @ 1285:abd52bd8d435 plugin-path-config

Toward allowing the user to see (at least, and maybe change) the plugin path
author Chris Cannam
date Fri, 11 May 2018 16:59:14 +0100
parents 3691af49291c
children
line wrap: on
line diff