diff options
| -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 |