Giulio@792: <!-- BEGIN tag.remove -->
Giulio@792: <screen><prompt>$</prompt> <userinput>hg tag --remove v1.0</userinput>
Giulio@792: <prompt>$</prompt> <userinput>hg tags</userinput>
Giulio@792: tip                                3:f0420ed65292
Giulio@792: </screen>
Giulio@792: <!-- END tag.remove -->