diff configure @ 481:25c1cb97dd48 recording

Merge from branch 2.0-integration
author Chris Cannam
date Thu, 20 Aug 2015 16:05:35 +0100
parents 7665cc683dd1
children 34668179c803
line wrap: on
line diff