Merge branch 'zk/difftool-counts'
commit6904f9aa5ba7666cdb5390733225e123fe25526b
authorJunio C Hamano <gitster@pobox.com>
Fri, 27 Dec 2013 22:58:13 +0000 (27 14:58 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 27 Dec 2013 22:58:13 +0000 (27 14:58 -0800)
tree7867aa393189903c8075c16abc35163f6de07243
parent604ada435b78a473baa6962a90def78ccb186c58
parent0ea7d5b6f8e258fdec067edf1b136ed87c5670e5
Merge branch 'zk/difftool-counts'

Show the total number of paths and the number of paths shown so far
when "git difftool" prompts to launch an external diff tool, which
would give users some sense of progress.

* zk/difftool-counts:
  diff.c: fix some recent whitespace style violations
  difftool: display the number of files in the diff queue in the prompt
Documentation/git.txt
diff.c
diff.h