diff options
| author | Matthew Cline <zelgadis@sourceforge.net> | 2009-11-01 16:24:38 -0800 |
|---|---|---|
| committer | Matthew Cline <zelgadis@sourceforge.net> | 2009-11-01 16:26:05 -0800 |
| commit | f3283fc23719fad278fc4c9f3d6d47ef0aec694b (patch) | |
| tree | 41b3c1f17ef6a0f10b6036df7cd7834ab8498c90 /crawl-ref/docs/develop | |
| parent | 858419aa4e3ffaa7b70da5795c255af134ab6cd9 (diff) | |
| download | crawl-ref-f3283fc23719fad278fc4c9f3d6d47ef0aec694b.tar.gz crawl-ref-f3283fc23719fad278fc4c9f3d6d47ef0aec694b.zip | |
git-config.txt: how to list all current options
Diffstat (limited to 'crawl-ref/docs/develop')
| -rw-r--r-- | crawl-ref/docs/develop/git-config.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/crawl-ref/docs/develop/git-config.txt b/crawl-ref/docs/develop/git-config.txt index 4c7a0f0aef..653dad36a1 100644 --- a/crawl-ref/docs/develop/git-config.txt +++ b/crawl-ref/docs/develop/git-config.txt @@ -7,6 +7,8 @@ There are two ways of changing git configuration options --git-dir") to change the current repository's configuration, and editing ~/.gitconfig for the global configuration. +You can list all currently set configuration options with "git var -l". + ------------------------ Config options which should be set for the Crawl repository, but probably |