diff base/PlayParameterRepository.h @ 1179:6b1af0f05f06 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 3a3541b357fe
children c01cbe41aeb5
line wrap: on
line diff