diff configure @ 679:80b319c1f0d0

Textual tweak
author Chris Cannam
date Thu, 21 Nov 2019 14:22:38 +0000
parents 08859cbcd879
children
line wrap: on
line diff