diff configure @ 1474:8007556e7764 3.0-integration

Add record update timer (very crude this)
author Chris Cannam
date Wed, 04 Jan 2017 13:23:18 +0000 (2017-01-04)
parents 9401d021b47b
children add46e759c27
line wrap: on
line diff