diff install-sh @ 1145:52cbb3f6b9fa pluginscan

Make use of, and warn for, the plugin checker for all types of plugin. Haven't yet resolved the question of how to install and find it.
author Chris Cannam
date Thu, 14 Apr 2016 14:03:18 +0100
parents c053d985ec8c
children
line wrap: on
line diff