diff options
| author | Felipe Contreras <felipe.contreras@gmail.com> | 2013-05-09 05:16:55 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-05-17 23:09:21 +0400 |
| commit | 0460ed2c93d78c753242f835c441f320f792ac54 (patch) | |
| tree | 7128ca5567b1ed56dba60845ad26b32c40d7a4f5 /Documentation/git-config.txt | |
| parent | 9b795193a6a7e963db62d9cd8e86752a40940520 (diff) | |
documentation: trivial style cleanups
White-spaces, missing braces, standardize --[no-]foo.
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-config.txt')
| -rw-r--r-- | Documentation/git-config.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Documentation/git-config.txt b/Documentation/git-config.txt index 9ae2508f3f..d88a6fcb29 100644 --- a/Documentation/git-config.txt +++ b/Documentation/git-config.txt @@ -186,8 +186,7 @@ See also <<FILES>>. Opens an editor to modify the specified config file; either '--system', '--global', or repository (default). ---includes:: ---no-includes:: +--[no-]includes:: Respect `include.*` directives in config files when looking up values. Defaults to on. |