Giulio@790: <!-- BEGIN daily.rename.rename -->
Giulio@790: <screen><prompt>$</prompt> <userinput>hg rename a b</userinput>
Giulio@790: </screen>
Giulio@790: <!-- END daily.rename.rename -->