diff configure @ 585:050c7b5bd11c

Debug notes, tidying
author Chris Cannam
date Thu, 23 Feb 2017 09:22:56 +0000 (2017-02-23)
parents f7ec9e410108
children
line wrap: on
line diff