]> rtime.felk.cvut.cz Git - git.git/commitdiff
Merge branch 'jc/detached-head-doc'
authorJunio C Hamano <gitster@pobox.com>
Thu, 18 Apr 2013 18:46:29 +0000 (11:46 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 18 Apr 2013 18:46:29 +0000 (11:46 -0700)
* jc/detached-head-doc:
  glossary: extend "detached HEAD" description

1  2 
Documentation/glossary-content.txt

Simple merge