diff configure @ 689:59c68b5ae5be

Build fix, version
author Chris Cannam
date Thu, 12 Dec 2013 15:43:48 +0000
parents 72c1dd980802
children 60d3575f8016 c65dde5537bd
line wrap: on
line diff