diff options
author | René Scharfe <l.s.r@web.de> | 2022-06-26 11:29:35 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-06-27 08:37:36 -0700 |
commit | fc0f8bcd64eb0a03a7098f72da9c4008bd48cf11 (patch) | |
tree | 30abc4966cba1577633166f7c9b4bc1118f56ebd /Documentation/config.txt | |
parent | 191faaf72648c4ed080a9e38c1782bc1619a6e87 (diff) | |
download | git-fc0f8bcd64eb0a03a7098f72da9c4008bd48cf11.tar.gz |
revert: config documentation fixes
43966ab315 (revert: optionally refer to commit in the "reference"
format, 2022-05-26) added the documentation file config/revert.txt.
Actually include it in config.txt.
Make is used with a bare infinitive after the object; remove the "to".
Signed-off-by: René Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/config.txt')
-rw-r--r-- | Documentation/config.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index e284b042f2..e376d547ce 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -495,6 +495,8 @@ include::config/repack.txt[] include::config/rerere.txt[] +include::config/revert.txt[] + include::config/safe.txt[] include::config/sendemail.txt[] |