diff easyhg.py @ 174:4dc802a4d5ae

* Add more helpful reports when a push fails because it would create new heads
author Chris Cannam
date Thu, 16 Dec 2010 12:40:04 +0000
parents 98fa31128e9d
children 07b908b4fa5f
line wrap: on
line diff