diff configure @ 195:3f7c65f26559

Fixes from last merge
author Chris Cannam
date Wed, 26 Aug 2015 21:46:52 +0100
parents c71d6ae15882
children 14db41423fc3
line wrap: on
line diff