diff configure @ 483:ae4c5d2efc45

Remove this, it isn't useful
author Chris Cannam
date Thu, 23 Feb 2017 13:59:45 +0000
parents 5502a06537f6
children 7097dee94492
line wrap: on
line diff