diff-options: make --patch a synonym for -p
authorWill Palmer <wmpalmer@gmail.com>
Thu, 13 May 2010 08:59:00 +0000 (09:59 +0100)
committerJunio C Hamano <gitster@pobox.com>
Wed, 19 May 2010 04:50:03 +0000 (21:50 -0700)
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>
No differences found