diff options
author | 2015-02-17 17:54:22 +0100 | |
---|---|---|
committer | 2015-02-17 17:55:13 +0100 | |
commit | 9bc5a2686497ff5e225510383ccce669bfc19bb9 (patch) | |
tree | 0079a1a5eee0a53d9c2857b8b356f3c26ad8b56c | |
parent | df3d820b45695e273515f8d7cf7c0345c7d574c5 (diff) |
Fix sentence that was cut in doc of Local Set.
-rw-r--r-- | doc/refman/RefMan-oth.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/refman/RefMan-oth.tex b/doc/refman/RefMan-oth.tex index 40e0ecc11..d1a1359d6 100644 --- a/doc/refman/RefMan-oth.tex +++ b/doc/refman/RefMan-oth.tex @@ -101,6 +101,7 @@ This command sets {\rm\sl option} to {\rm\sl value}. The original value of \begin{Variants} \item {\tt Local Set {\rm\sl option} {\rm\sl value}.\comindex{Local Set}} This command sets {\rm\sl option} to {\rm\sl value}. The original value of +{\rm\sl option} is restored at the end of the module. \item {\tt Global Set {\rm\sl option} {\rm\sl value}.\comindex{Global Set}} This command sets {\rm\sl option} to {\rm\sl value}. The original value of {\rm\sl option} is \emph{not} restored at the end of the module. Additionally, |