diff COPYING @ 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 f583e44d9d31
children 87d423722656
line wrap: on
line diff