git-gui: Allow the user to disable diff stat summary during pull.
tree8fd4481b4e5173fdeb766b853153b3e5032ff389
-rw-r--r-- 1234 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 59325 git-gui