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