Keep together options controlling the behaviour of diffcore-rename.
commitf1037448e29104cdad73b93cb961e3b40e08e925
authorYann Dirson <ydirson@altern.org>
Wed, 10 Nov 2010 20:27:13 +0000 (10 21:27 +0100)
committerJunio C Hamano <gitster@pobox.com>
Tue, 16 Nov 2010 17:29:37 +0000 (16 09:29 -0800)
tree622b3f013fed0aec8bdb314a72d729641d834321
parentf772c34ce09a49eb553240eb672bf0cc2dbcb10a
Keep together options controlling the behaviour of diffcore-rename.

It makes little sense to have --diff-filter in the middle of them, and
even spares an ifndef::git-format-patch.

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