diff configure @ 1114:e80abd659922 3.0-integration

Merge from default branch
author Chris Cannam
date Tue, 07 Jul 2015 17:39:06 +0100
parents 135c5899a71f
children def2db9c4ab0
line wrap: on
line diff