diff configure @ 1073:d4212687520e

minor debug thing
author Chris Cannam
date Thu, 21 May 2015 16:38:07 +0100
parents 135c5899a71f
children def2db9c4ab0
line wrap: on
line diff