diff configure @ 2556:d07cf8e01d51

Remove this debug output on startup
author Chris Cannam
date Thu, 11 Jun 2020 15:33:09 +0100
parents 19effcb6b21c
children
line wrap: on
line diff