diff configure @ 1149:afed8be79032 3.0-integration

Show warning to the user when plugin population has problems
author Chris Cannam
date Tue, 19 Jan 2016 12:32:30 +0000
parents def2db9c4ab0
children 8a1328ab9c48
line wrap: on
line diff