Merge branch 'jc/maint-pull-docfix'
authorJunio C Hamano <gitster@pobox.com>
Mon, 27 Jan 2014 18:44:00 +0000 (10:44 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 27 Jan 2014 18:44:00 +0000 (10:44 -0800)
* jc/maint-pull-docfix:
Documentation: "git pull" does not have the "-m" option
Documentation: exclude irrelevant options from "git pull"

No differences found