diff easyhg1.py @ 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 b616c9c6cfd2
children
line wrap: on
line diff