diff configure @ 700:7846175403f1

And tidy up
author Chris Cannam
date Wed, 04 Dec 2013 13:12:09 +0000
parents 6d38e9b15a78
children 51da09385b38
line wrap: on
line diff