diff options
| -rw-r--r-- | man/ediff.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ediff.texi b/man/ediff.texi index 8e176a49fe0..7b997e4b0eb 100644 --- a/man/ediff.texi +++ b/man/ediff.texi @@ -2266,7 +2266,7 @@ version control, Ediff first tries to check the file out. @item ediff-make-buffers-readonly-at-startup nil @vindex ediff-make-buffers-readonly-at-startup -If t, all variant buffers are made read-only at Ediff startup. +If @code{t}, all variant buffers are made read-only at Ediff startup. @item ediff-keep-variants @vindex @code{ediff-keep-variants} |