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


Trivial merge
git clone https://git.99rst.org/PROJECT