diff configure @ 573:0b094b0fdcc4

Clean up more tidily on exit
author Chris Cannam
date Thu, 16 May 2013 14:05:21 +0100
parents 358541da1cd8
children f1dfe46ff85a
line wrap: on
line diff