diff options
author | Felipe Contreras <felipe.contreras@gmail.com> | 2013-05-08 20:16:55 -0500 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-05-17 12:09:21 -0700 |
commit | 0460ed2c93d78c753242f835c441f320f792ac54 (patch) | |
tree | 7128ca5567b1ed56dba60845ad26b32c40d7a4f5 /Documentation/git-config.txt | |
parent | Update draft release notes for 1.8.3 (diff) | |
download | tgif-0460ed2c93d78c753242f835c441f320f792ac54.tar.xz |
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. |