Merge branch 'ab/diff-tree-doc-fix'
authorJunio C Hamano <redacted>
Thu, 7 Feb 2019 06:05:29 +0000 (22:05 -0800)
committerJunio C Hamano <redacted>
Thu, 7 Feb 2019 06:05:29 +0000 (22:05 -0800)
Doc fix.

* ab/diff-tree-doc-fix:
  diff-tree doc: correct & remove wrong documentation


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