Andrew's git / gitweb.git / diff
?
Merge branch 'jc/checkout' (early part)
authorJunio C Hamano <junkio@cox.net>
Sat, 7 Apr 2007 09:19:54 +0000 (02:19 -0700)
committerJunio C Hamano <junkio@cox.net>
Sat, 7 Apr 2007 09:19:54 +0000 (02:19 -0700)
* 'jc/checkout' (early part):
checkout: allow detaching to HEAD even when switching to the tip of a branch

Trivial merge