##// END OF EJS Templates
merge with stable
Martin Geisler -
r12152:e59156a1 merge default
parent child Browse files
Show More
@@ -451,8 +451,8 b' def push(oldpush, ui, repo, dest=None, *'
451 451 ui.status(_("deleting remote bookmark %s\n") % b)
452 452 new = '' # delete
453 453 else:
454 ui.warn(_('bookmark %s does not exist on the local'
455 ' or remote repository!\n') % b)
454 ui.warn(_('bookmark %s does not exist on the local '
455 'or remote repository!\n') % b)
456 456 return 2
457 457 old = rb.get(b, '')
458 458 r = other.pushkey('bookmarks', b, old, new)
@@ -83,7 +83,7 b' def loaddoc(topic):'
83 83 return loader
84 84
85 85 helptable = [
86 (["config"], _("Configuration Files"), loaddoc('config')),
86 (["config", "hgrc"], _("Configuration Files"), loaddoc('config')),
87 87 (["dates"], _("Date Formats"), loaddoc('dates')),
88 88 (["patterns"], _("File Name Patterns"), loaddoc('patterns')),
89 89 (['environment', 'env'], _('Environment Variables'),
General Comments 0
You need to be logged in to leave comments. Login now