tree e234c232ce0b8acef3f43fa34c036e68522b5612
parent 4197ce3c6d943759e1088a0298b64571b4bc725a
parent da02ca508b842e61c71d920310ff30bbe0238993
author Junio C Hamano <gitster@pobox.com> 1253136400 -0700
committer Junio C Hamano <gitster@pobox.com> 1253136400 -0700

Merge branch 'jc/maint-checkout-index-to-prefix' into maint

* jc/maint-checkout-index-to-prefix:
  check_path(): allow symlinked directories to checkout-index --prefix