diff configure @ 642:92ad94dee103

Minor warning text fix
author Chris Cannam
date Tue, 08 Jan 2019 15:19:03 +0000
parents f7ec9e410108
children
line wrap: on
line diff