diff-options: make --patch a synonym for -p
commit1c9eecff97beab2d425397dc624281dff5c0be5c
authorWill Palmer <wmpalmer@gmail.com>
Thu, 13 May 2010 08:59:00 +0000 (13 09:59 +0100)
committerJunio C Hamano <gitster@pobox.com>
Wed, 19 May 2010 04:50:03 +0000 (18 21:50 -0700)
treedf7ad0e5a7ea02db25aa2593516eb492800aa092
parent67687feae52ff2d3ab7edf3ac42a39c5e44be299
diff-options: make --patch a synonym for -p

Here we simply make --patch a synonym for -p, whose mnemonic was "patch"
all along.

Signed-off-by: Will Palmer <wmpalmer@gmail.com>
Reviewed-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/diff-options.txt
diff.c