diff configure @ 1538:0ca4ca37809e

Avoid compiler warning
author Chris Cannam
date Tue, 15 Oct 2019 14:51:58 +0100
parents 3691af49291c
children
line wrap: on
line diff