diff options
| author | Albert Krewinkel <albert+github@zeitkraut.de> | 2017-11-09 09:46:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-09 09:46:54 +0100 |
| commit | 725500bc582c4f0cd4e7ad3aa921e0bf2b705b02 (patch) | |
| tree | 95f3a9971100a8f9e21849cc0f0b66f0272f214b /MANUAL.txt | |
| parent | fef5770591e7d3a185dc8d7dc2b70594732b0367 (diff) | |
MANUAL: fix header level of "Extension: emoji"
The level of the "Extension: `emoji`" heading is reduced from 5 to 4 to
conform with the other extension headings.
Diffstat (limited to 'MANUAL.txt')
| -rw-r--r-- | MANUAL.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 588750f1e..b77728e09 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -3697,7 +3697,7 @@ between two East Asian wide characters. This is a better choice than `ignore_line_breaks` for texts that include a mix of East Asian wide characters and other characters. -##### Extension: `emoji` #### +#### Extension: `emoji` #### Parses textual emojis like `:smile:` as Unicode emoticons. |