diff options
| author |  Manlio Perillo <manlio.perillo@gmail.com> | 2012-12-13 18:57:19 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2012-12-13 10:54:01 -0800 |
| commit | 75940a001acb0c09abea8ac71ed1568ab125c795 (patch) | |
| tree | 965138d0a9fcad5f0c23fecf8a26346126e0bb10 /Documentation/install-webdoc.sh | |
| parent | git-prompt: Document GIT_PS1_DESCRIBE_STYLE (diff) | |
| download | tgif-75940a001acb0c09abea8ac71ed1568ab125c795.tar.xz | |
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>
Diffstat (limited to 'Documentation/install-webdoc.sh')
0 files changed, 0 insertions, 0 deletions