Merge branch 'cr/git-work-tree-sans-git-dir'
authorJunio C Hamano <gitster@pobox.com>
Tue, 11 Jun 2013 20:31:01 +0000 (11 13:31 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 11 Jun 2013 20:31:01 +0000 (11 13:31 -0700)
These days, "git --work-tree=there cmd" without specifying an
explicit --git-dir=here will do the usual discovery, but we had a
description of older behaviour in the documentation.

* cr/git-work-tree-sans-git-dir:
  git.txt: remove stale comment regarding GIT_WORK_TREE

1  2 
Documentation/git.txt

Simple merge