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)
commitff6e1b887f6f038b7e8d7aaea2ca19d9add03607
treed7fe4b395fac392a6c48f89077268fa144ca74f3
parent83f18cdd71d9154c9b563d13c502dd475b3ac88c
parent26776c9737a6b5b0e7aab142aef6ba856d8b46ca
Merge branch 'jc/checkout-detach-doc'

"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