diff options
| author | Xue Fuqiao <xfq.free@gmail.com> | 2015-10-22 15:59:00 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2015-10-22 19:35:36 +0300 |
| commit | a3e1fa97bc7a62073ede49a7f307c2fc629e465f (patch) | |
| tree | b753f1a1e582b599c3ce34f096cb6fc7414e0212 /Documentation/user-manual.txt | |
| parent | 282616c72d1d08a77ca4fe1186cb708c38408d87 (diff) | |
Documentation: fix header markup
Asciidoctor is stricter than AsciiDoc when deciding if underlining
is a section title or the start of preformatted text. Make the
length of the underlining match the text to ensure that it renders
correctly in all implementations.
Signed-off-by: Xue Fuqiao <xfq.free@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/user-manual.txt')
| -rw-r--r-- | Documentation/user-manual.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 46aa6bc1a6..3193bd6bae 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -1491,7 +1491,7 @@ resolving a merge>>. [[fixing-a-mistake-by-rewriting-history]] Fixing a mistake by rewriting history -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ If the problematic commit is the most recent commit, and you have not yet made that commit public, then you may just |