diff plugin/PluginIdentifier.h @ 678:948271d124ac

Make more (though still not entirely) robust in the face of running out of disc space
author Chris Cannam
date Thu, 14 Apr 2011 15:20:27 +0100
parents 91fdc752e540
children 48e9f538e6e9
line wrap: on
line diff