diff configure @ 706:162c3f4b870c

Settle on what seem like reliable parameters
author Chris Cannam
date Thu, 29 Aug 2019 14:48:05 +0100
parents f7ec9e410108
children
line wrap: on
line diff