diff options
| author | Andy Parkins <andyparkins@gmail.com> | 2006-11-29 11:25:40 +0300 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-11-29 21:34:20 +0300 |
| commit | eb07fd59acae0f043b9fac2a8a1cb427036c6f71 (patch) | |
| tree | 7201844fd39627a565960ec236d5d004662019f5 /Documentation/git-repo-config.txt | |
| parent | 665892307013bccacb35dd619ae6951c7b209379 (diff) | |
Document git-repo-config --bool/--int options.
Signed-off-by: Andy Parkins <andyparkins@gmail.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-repo-config.txt')
| -rw-r--r-- | Documentation/git-repo-config.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Documentation/git-repo-config.txt b/Documentation/git-repo-config.txt index 8199615dde..5bede9ac22 100644 --- a/Documentation/git-repo-config.txt +++ b/Documentation/git-repo-config.txt @@ -77,6 +77,12 @@ OPTIONS -l, --list:: List all variables set in config file. +--bool:: + git-repo-config will ensure that the output is "true" or "false" + +--int:: + git-repo-config will ensure that the output is a simple decimal number + ENVIRONMENT ----------- |