diff configure @ 1856:224074c9095c plugin-path-config

Minor layout fix
author Chris Cannam
date Fri, 08 Jun 2018 15:14:25 +0100
parents adc8a48f4e4c
children 714f8dad57bc
line wrap: on
line diff