diff options
| -rw-r--r-- | MANUAL.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 6e94962a7..ea7d4877e 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -1161,6 +1161,7 @@ header when requesting a document from a URL: - Heading 8 - Heading 9 - Block Text + - Source Code - Footnote Text - Definition Term - Definition |