diff configure @ 499:a4d90cf2bb79 3.0-integration

Merge from recording branch
author Chris Cannam
date Mon, 12 Oct 2015 12:43:06 +0100
parents b36042cb972a
children d65ce7e55346
line wrap: on
line diff