Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Mon, 21 Nov 2011 22:30:45 +0000 (14:30 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 21 Nov 2011 22:30:45 +0000 (14:30 -0800)
* maint:
  documentation fix: git difftool uses diff tools, not merge tools.


Trivial merge