commit | 75940a001acb0c09abea8ac71ed1568ab125c795 | [log] [tgz] |
---|---|---|
author | Manlio Perillo <manlio.perillo@gmail.com> | Thu Dec 13 18:57:19 2012 +0100 |
committer | Junio C Hamano <gitster@pobox.com> | Thu Dec 13 10:54:01 2012 -0800 |
tree | 965138d0a9fcad5f0c23fecf8a26346126e0bb10 | |
parent | 50b03b04c06f44be0d09bcc2b56723e8de985d9a [diff] |
git.txt: add missing info about --git-dir command-line option Unlike other environment variables (e.g. GIT_WORK_TREE, GIT_NAMESPACE), the Documentation/git.txt file did not mention that the GIT_DIR environment variable can also be set using the --git-dir command line option. Signed-off-by: Manlio Perillo <manlio.perillo@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>