diff options
-rw-r--r-- | doc/documentation.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/documentation.tex b/doc/documentation.tex index be8db7c..5673506 100644 --- a/doc/documentation.tex +++ b/doc/documentation.tex @@ -1164,7 +1164,7 @@ for this purpose: is scheduled in (the schedule group) \verb|group_for_mask_stuff|. \item The actual setting of the mask is scheduled in (the schedule group) \verb|group_where_mask_is_set|. -\end{description} +\end{itemize} Thorn \thorn{PreviousMask} uses these schedule groups to keep a ``previous'' as well as a ``current'' mask. See that thorn's thorn guide for further details. |