Giulio@790: <!-- BEGIN ch04/diff.rename.git -->
Giulio@790: <screen><prompt>$</prompt> <userinput>hg diff -g</userinput>
Giulio@790: diff --git a/a b/b
Giulio@790: cambiamento di nome da a
Giulio@790: cambiamento di nome a b
Giulio@790: </screen>
Giulio@790: <!-- END ch04/diff.rename.git -->