diff configure @ 630:ca64cc9047d0

Minor debug change
author Chris Cannam
date Thu, 18 Oct 2018 13:22:16 +0100
parents f7ec9e410108
children
line wrap: on
line diff