diff hgeditor @ 21580:32601b0b74c0

discovery: if a push would create a new head, mention the bookmark name if any
author Stephen Lee <sphen.lee@gmail.com>
date Sat, 08 Mar 2014 19:02:39 +1100
parents 2b440bb8a66b
children 1aee2ab0f902
line wrap: on
line diff