diff options
| author | Maxime Dénès | 2015-02-17 17:54:22 +0100 |
|---|---|---|
| committer | Maxime Dénès | 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 40e0ecc11c..d1a1359d6d 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, |
