diff configure @ 1030:afe496c595e1 3.0-integration

Merge from default branch
author Chris Cannam
date Tue, 07 Jul 2015 17:39:06 +0100
parents 33418a475d9e
children 28ccb621d1af 94253fa11318
line wrap: on
line diff