diff base/ProgressReporter.h @ 818:5e9ff92ca05e tonioni

instrument is now "click" -- some other minor changes I don't remember
author matthiasm
date Thu, 20 Jun 2013 13:47:35 +0100
parents beb2948baa77
children 1dc64d3d323c
line wrap: on
line diff