diff configure @ 375:20bab95852c1

Only update message if it has actually changed (not that this seems to make any difference to anything)
author Chris Cannam
date Tue, 01 Jul 2014 15:33:24 +0100
parents 472bc9c4dd8f
children b3b673d133a0
line wrap: on
line diff