diff configure @ 737:48bd87b0a84e

Only update message if it has actually changed
author Chris Cannam
date Tue, 01 Jul 2014 15:33:51 +0100
parents c65dde5537bd
children 6fadabe80ad8
line wrap: on
line diff