Merge branch 'ab/diff-tree-doc-fix'
authorJunio C Hamano <gitster@pobox.com>
Thu, 7 Feb 2019 06:05:29 +0000 (22:05 -0800)
committerJunio C Hamano <gitster@pobox.com>
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