diff: document diff-filter exclusion
authorJunio C Hamano <gitster@pobox.com>
Thu, 14 Jul 2016 19:17:47 +0000 (12:17 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 14 Jul 2016 19:17:47 +0000 (12:17 -0700)
commit16726cfa0c3ad5d0d261bd7068014e659cb989da
tree505e7d4b3f6b0a67b8537e0e755dcb6fc60ede2f
parent765428699a5381f113d19974720bc91b5bfeaf1d
diff: document diff-filter exclusion

In v1.8.5 days, 7f2ea5f0 (diff: allow lowercase letter to specify
what change class to exclude, 2013-07-17) taught the "--diff-filter"
mechanism to take lowercase letters as exclusion, but we forgot to
document it.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/diff-options.txt