diff configure @ 1535:873ff035364c

Tidy / debug
author Chris Cannam
date Mon, 14 Oct 2019 14:20:02 +0100
parents 3691af49291c
children
line wrap: on
line diff