diff hgweb.cgi @ 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 85cba926cb59
children 4b0fc75f9403
line wrap: on
line diff