diff PyExtensionManager.cpp @ 84:980e092d7ee2

If one plugin fails, continue trying the others - don't just give up
author Chris Cannam
date Thu, 10 Jan 2019 15:36:32 +0000
parents 146d14ab15e7
children f92587bedb2c
line wrap: on
line diff