diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2019-03-29 17:38:56 +0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-04-02 13:56:58 +0900 |
commit | 181e3725ecd12f5477d8581515fdbeb2469df1e7 (patch) | |
tree | da4ac713374108a5ba89e9bc6b77c42495a1537d /Documentation/rev-list-options.txt | |
parent | doc: document --overwrite-ignore (diff) | |
download | tgif-181e3725ecd12f5477d8581515fdbeb2469df1e7.tar.xz |
git-checkout.txt: fix monospace typeset
Add backticks where we have none, replace single quotes with backticks
and replace double-quotes. Drop double-quotes from nested constructions
such as `"@{-1}"`.
Helped-by: Martin Ågren <martin.agren@gmail.com>
Signed-off-by: Martin Ågren <martin.agren@gmail.com>
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/rev-list-options.txt')
0 files changed, 0 insertions, 0 deletions