Merge branch 'jc/doc-diff-filter-exclude'
authorJunio C Hamano <gitster@pobox.com>
Mon, 25 Jul 2016 21:13:41 +0000 (14:13 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 25 Jul 2016 21:13:41 +0000 (14:13 -0700)
Belated doc update for a feature added in v1.8.5.

* jc/doc-diff-filter-exclude:
diff: document diff-filter exclusion

1  2 
Documentation/diff-options.txt
Simple merge