Andrew's git / gitweb.git / diff
?
Merge branch 'jc/maint-checkout-index-to-prefix' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 16 Sep 2009 21:26:40 +0000 (14:26 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 16 Sep 2009 21:26:40 +0000 (14:26 -0700)
* jc/maint-checkout-index-to-prefix:
check_path(): allow symlinked directories to checkout-index --prefix

Trivial merge