diff configure @ 782:ddae586bc47b

Restore commit:6a8d922f991d which was apparently reverted in error as commit:c2291e22bf0c
author Chris Cannam
date Tue, 03 Jun 2014 11:10:52 +0100
parents 6d38e9b15a78
children 51da09385b38
line wrap: on
line diff