diff configure @ 1543:35c7b7a592f0

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