diff options
Diffstat (limited to 'manual/preamble.tex')
-rw-r--r-- | manual/preamble.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/preamble.tex b/manual/preamble.tex index 9f6fd5ca73..fd1e32165b 100644 --- a/manual/preamble.tex +++ b/manual/preamble.tex | |||
@@ -202,3 +202,4 @@ | |||
202 | 202 | ||
203 | \newcommand{\setting}[1]{\textsc{#1}} | 203 | \newcommand{\setting}[1]{\textsc{#1}} |
204 | 204 | ||
205 | \newcommand{\config}[1]{\texttt{#1}} \ No newline at end of file | ||