diff configure @ 1527:88fcbc4d93dd

Fix goof
author Chris Cannam
date Fri, 04 Oct 2019 16:35:22 +0100
parents 3691af49291c
children
line wrap: on
line diff