git-gui: Refresh a file if it has an empty diff.
[git-gui.git] / git-citool
blobb5f620fd097485791ca31267432de0f27ad4c024
1 git-gui