diff configure @ 1540:9ce6f69cd485

Debug output tweaks
author Chris Cannam
date Wed, 16 Oct 2019 12:13:28 +0100
parents 3691af49291c
children
line wrap: on
line diff