diff configure @ 1597:7eb595837eaa

Fixes for mingw
author Chris Cannam
date Thu, 09 Apr 2020 17:09:11 +0100
parents 3691af49291c
children
line wrap: on
line diff