diff configure @ 209:382d49862393

Minor output update
author Chris Cannam
date Wed, 04 Nov 2015 11:11:31 +0000
parents c71d6ae15882
children 14db41423fc3
line wrap: on
line diff