diff easyhg.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 92929d26b8db
children e34de484415c
line wrap: on
line diff