diff configure @ 742:75390b1ebd2c

Fix debug line
author Chris Cannam
date Tue, 24 Mar 2020 13:39:05 +0000
parents f7ec9e410108
children
line wrap: on
line diff