diff COPYING @ 603:10ef94e51f44

Make sure we update the view after a failed merge
author Chris Cannam
date Tue, 03 Jul 2012 10:08:44 +0100
parents f583e44d9d31
children 87d423722656
line wrap: on
line diff