diff rdf/PluginRDFIndexer.cpp @ 1166:4607603c46d0

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