Andrew's git / gitweb.git / diff
?
Merge branch 'jc/checkout-detach-doc'
authorJunio C Hamano <gitster@pobox.com>
Thu, 17 Oct 2013 22:55:08 +0000 (15:55 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 17 Oct 2013 22:55:08 +0000 (15:55 -0700)
"git checkout [--detach] <commit>" was listed poorly in the
synopsis section of its documentation.

* jc/checkout-detach-doc:
checkout: update synopsys and documentation on detaching HEAD

Trivial merge