diff configure @ 57:513230b19248

Fix #311 following the patch from Matthias
author Chris Cannam
date Mon, 09 Jan 2012 14:47:50 +0000
parents 3840c55c75c2
children ee8b185d10fe
line wrap: on
line diff