diff debug.cpp @ 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 b6dd1ee0e486
children 8fd71f570884
line wrap: on
line diff