Giulio@790: <!-- BEGIN rename.divergent.rename.bob -->
Giulio@790: <screen><prompt>$</prompt> <userinput>cd ../bruno</userinput>
Giulio@790: <prompt>$</prompt> <userinput>hg mv foo quux</userinput>
gpiancastelli@839: <prompt>$</prompt> <userinput>hg ci -m 'Rinominato foo a quux.'</userinput>
Giulio@790: </screen>
Giulio@790: <!-- END rename.divergent.rename.bob -->