diff configure @ 617:b6c0c3e7ce99

Consistent name
author Chris Cannam
date Thu, 10 Oct 2019 13:01:06 +0100
parents 08859cbcd879
children
line wrap: on
line diff