diff configure @ 1421:70e93f996da6

Fix inadvertent hardcoding of SV file extension
author Chris Cannam
date Mon, 18 Feb 2019 14:33:35 +0000
parents 3691af49291c
children
line wrap: on
line diff