diff configure @ 571:5369359351cb 3.0-integration

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