Andrew's git / gitweb.git / diff
?
Merge branch 'jc/checkout-detached' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 8 Mar 2010 08:35:59 +0000 (00:35 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 8 Mar 2010 08:35:59 +0000 (00:35 -0800)
* jc/checkout-detached:
Reword "detached HEAD" notification

1  2 
Documentation/config.txt patch | diff1 | diff2 | blob | history
diff --cc Documentation/config.txt
Simple merge