Merge branch 'cr/git-work-tree-sans-git-dir' into maint
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)
* cr/git-work-tree-sans-git-dir:
  git.txt: remove stale comment regarding GIT_WORK_TREE

1  2 
Documentation/git.txt

Simple merge