Merge branch 'jc/checkout-detached' into maint
commit89cd4aa8624de4fa80469ab9ef8482f44b2cc2db
authorJunio C Hamano <gitster@pobox.com>
Mon, 8 Mar 2010 08:35:59 +0000 (8 00:35 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 8 Mar 2010 08:35:59 +0000 (8 00:35 -0800)
tree9d0def7c00f2c26929e9f4e91bb420477bf53cd0
parent4ac23f375f144d06d66d04a5e5323388d6f53251
parent13be3e31f1775bd496fc5bc1ab5b745052f4d07d
Merge branch 'jc/checkout-detached' into maint

* jc/checkout-detached:
  Reword "detached HEAD" notification
Documentation/config.txt