diff configure @ 1185:f32828ea63d9 3.0-integration

Minor debug tweaks
author Chris Cannam
date Wed, 14 Dec 2016 11:56:47 +0000
parents 3691af49291c
children
line wrap: on
line diff