diff base/ProgressReporter.h @ 1652:08bed13d3a26 single-point

Update Labeller to new event API + fewer magical side-effects
author Chris Cannam
date Tue, 19 Mar 2019 13:05:56 +0000
parents 1dc64d3d323c
children
line wrap: on
line diff