diff configure @ 1525:284a38c43721

Debug bits
author Chris Cannam
date Fri, 04 Oct 2019 13:37:39 +0100
parents 3691af49291c
children
line wrap: on
line diff