Merge branch 'tb/checkout-doc' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 27 Jul 2015 19:21:47 +0000 (12:21 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 27 Jul 2015 19:21:47 +0000 (12:21 -0700)
Doc update.

* tb/checkout-doc:
  git-checkout.txt: document "git checkout <pathspec>" better


Trivial merge