diff options
author | Martin Ågren <martin.agren@gmail.com> | 2018-09-19 18:38:18 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-09-20 11:52:40 -0700 |
commit | ed3bb3dfc72c14492d00531395799194630f3669 (patch) | |
tree | 961274fa1ebfc57c8b2d7b2b54906f5904388a22 /Documentation/git-shell.txt | |
parent | Initial batch post 2.19 (diff) | |
download | tgif-ed3bb3dfc72c14492d00531395799194630f3669.tar.xz |
Doc: use `--type=bool` instead of `--bool`
After fb0dc3bac1 (builtin/config.c: support `--type=<type>` as preferred
alias for `--<type>`, 2018-04-18) we have a more modern way of spelling
`--bool`.
Update all instances except those that explicitly document the
"historical options" in git-config.txt. The other old-style
type-specifiers already seem to be gone except for in that list of
historical options.
Tweak the grammar a little in config.txt while we are there.
Signed-off-by: Martin Ågren <martin.agren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-shell.txt')
0 files changed, 0 insertions, 0 deletions