diff configure @ 818:fd95308b5d3f

Merge from tonioni branch
author Chris Cannam
date Wed, 02 Jul 2014 22:04:10 +0100
parents 51da09385b38
children 899c4d7e7e63
line wrap: on
line diff