Merge branch 'jc/doc-diff-filter-exclude' into maint
commit2f8c654edb0c8805749c60228ad9abb5984fba63
authorJunio C Hamano <gitster@pobox.com>
Mon, 8 Aug 2016 21:21:44 +0000 (8 14:21 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 8 Aug 2016 21:21:44 +0000 (8 14:21 -0700)
treef91a78bf8f32a33eaa29bbfaba2175ad76fb9a34
parent970994deb1179300c73af14928156f30f78b0117
parent16726cfa0c3ad5d0d261bd7068014e659cb989da
Merge branch 'jc/doc-diff-filter-exclude' into maint

Belated doc update for a feature added in v1.8.5.

* jc/doc-diff-filter-exclude:
  diff: document diff-filter exclusion
Documentation/diff-options.txt