gitcli: parse-options lets you omit tail of long options
authorJunio C Hamano <gitster@pobox.com>
Thu, 4 Oct 2012 17:13:49 +0000 (10:13 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 5 Oct 2012 03:30:27 +0000 (20:30 -0700)
Describe the behaviour, but do warn people against taking it too
literally and expect an abbreviation valid today will stay valid
forever.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found