[PATCH] bookmarks: change NAME to REV

[David Soria Parra]

Thanks.

I pushed it to my bookmark repository, that hopefully will be merged
by mpm in the next days.

David

On 2009-03-03, Benoît Allard <benoit at aeteurope.nl> wrote:
> # HG changeset patch
> # User Benoit Allard <benoit at aeteurope.nl>
> # Date 1233874051 -3600
> # Node ID d20fe5018a0743e071c8d2d56172e9fc056d6828
> # Parent  b136c6c5c1c71bd7331ce3ee01fe99ca5329a7f3
> bookmarks: change NAME to REV
>
> diff -r b136c6c5c1c7 -r d20fe5018a07 hgext/bookmarks.py
> --- a/hgext/bookmarks.py	Mon Mar 02 23:11:15 2009 +0100
> +++ b/hgext/bookmarks.py	Thu Feb 05 23:47:31 2009 +0100
> @@ -314,5 +314,5 @@
>             ('r', 'rev', '', _('revision')),
>             ('d', 'delete', False, _('delete a given bookmark')),
>             ('m', 'rename', '', _('rename a given bookmark'))],
> -         _('hg bookmarks [-f] [-d] [-m NAME] [-r NAME] [NAME]')),
> +         _('hg bookmarks [-f] [-d] [-m NAME] [-r REV] [NAME]')),
>   }
>