diff install-sh @ 1290:050eca637c19 plugin-path-config

More work on plugin path configuration layout &c
author Chris Cannam
date Wed, 23 May 2018 11:52:19 +0100
parents 7fb9b939722f
children
line wrap: on
line diff