diff options
| -rw-r--r-- | rulesexec.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rulesexec.tex b/rulesexec.tex index 6c3473d..25db4d6 100644 --- a/rulesexec.tex +++ b/rulesexec.tex @@ -1,4 +1,4 @@ -% vim: set spelllang=nl: +% vim: set spelllang=nl: \subsection{\texttt{Exec}} \begin{quote} |