diff configure @ 741:2d5c6920e814

Merge from tonioni branch
author Chris Cannam
date Wed, 02 Jul 2014 22:04:10 +0100
parents c65dde5537bd
children 6fadabe80ad8
line wrap: on
line diff