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