diff options
Diffstat (limited to 'man/basic.texi')
| -rw-r--r-- | man/basic.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/man/basic.texi b/man/basic.texi index 50a8a0ad92c..52f7dfd4ca3 100644 --- a/man/basic.texi +++ b/man/basic.texi | |||
| @@ -686,7 +686,8 @@ displays the character as @samp{@`A}), and which has font-lock-mode | |||
| 686 | terminal code: C0 | 686 | terminal code: C0 |
| 687 | 687 | ||
| 688 | Text properties | 688 | Text properties |
| 689 | face: font-lock-variable-name-face fontified: t | 689 | face: font-lock-variable-name-face |
| 690 | fontified: t | ||
| 690 | @end smallexample | 691 | @end smallexample |
| 691 | 692 | ||
| 692 | @node Arguments | 693 | @node Arguments |