Merge branch 'jk/clone-b'
authorJunio C Hamano <gitster@pobox.com>
Mon, 7 Sep 2009 22:24:53 +0000 (15:24 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 7 Sep 2009 22:24:53 +0000 (15:24 -0700)
* jk/clone-b:
clone: add --branch option to select a different HEAD

No differences found