diff deploy/src/archive-tip.sh @ 737:48bd87b0a84e

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