diff rdf/RDFExporter.h @ 1557:d93e34684da7

Cautiously ensure we don't report readiness when the model is still updating; + some debug
author Chris Cannam
date Thu, 18 Oct 2018 13:12:58 +0100
parents 83eae5239db6
children ad5f892c0c4d
line wrap: on
line diff