diff configure @ 918:e88a15c25a4a tonioni

Merge from default branch
author Chris Cannam
date Tue, 03 Jun 2014 11:14:17 +0100
parents 2bd629a29fa3
children a8f3195b0761
line wrap: on
line diff