diff configure @ 1365:a1393b4384a5

Minor tidying
author Chris Cannam
date Tue, 30 Oct 2018 15:32:05 +0000
parents 3691af49291c
children
line wrap: on
line diff