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 /src/Text/Pandoc/Readers/Native.hs | |
| parent | fef5770591e7d3a185dc8d7dc2b70594732b0367 (diff) | |
| download | pandoc-725500bc582c4f0cd4e7ad3aa921e0bf2b705b02.tar.gz | |
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 'src/Text/Pandoc/Readers/Native.hs')
0 files changed, 0 insertions, 0 deletions