diff configure @ 1448:4b7fc925a5ce single-point

Some debug bits
author Chris Cannam
date Wed, 01 May 2019 11:46:09 +0100
parents 3691af49291c
children
line wrap: on
line diff