Merge branch 'jc/detached-head-doc'
commitcd797c7e6b5e5818e08e22c7e244000a07be151c
authorJunio C Hamano <gitster@pobox.com>
Thu, 18 Apr 2013 18:46:29 +0000 (18 11:46 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 18 Apr 2013 18:46:29 +0000 (18 11:46 -0700)
tree58acce08582aeb168f070c0e6fa32a42eab5841f
parent193e28f050fff85600212f8f4789681efd418a45
parent1d77d249f9b0605ed21ca751c5dfb8550efcdfa3
Merge branch 'jc/detached-head-doc'

* jc/detached-head-doc:
  glossary: extend "detached HEAD" description
Documentation/glossary-content.txt