Merge branch 'cr/git-work-tree-sans-git-dir' into maint
commit213d25648ae926d523727f1df06ad7ee4d4ad916
authorJunio C Hamano <gitster@pobox.com>
Wed, 3 Jul 2013 22:41:05 +0000 (3 15:41 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 3 Jul 2013 22:41:05 +0000 (3 15:41 -0700)
treeda0d14889da25b2db42f93bd6ecee0edac0654a0
parentac5611a1ccbbb125b65882711e18331a3b91a1ca
parenta758a3499ff72111ef5f7066a9f21059c0d63d48
Merge branch 'cr/git-work-tree-sans-git-dir' into maint

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