git difftool: how to measure progress, that is number of files diff'ed and to diff?

Viewed 485
1 Answers
Related