diff widgets/CommandHistory.h @ 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 73a58a4dfebd
children 05d614f6e46d
line wrap: on
line diff