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@850: <prompt>$</prompt> <userinput>hg ci -m "Rinominato foo a quux."</userinput>
Giulio@790: </screen>
Giulio@790: <!-- END rename.divergent.rename.bob -->