diff configure @ 898:39251b35d787

Oops, included some unintended cruft
author Chris Cannam
date Tue, 09 Dec 2014 11:49:27 +0000
parents 6fadabe80ad8
children 93a770ecfc98
line wrap: on
line diff