diff options
Diffstat (limited to 'doc/UsersGuide/UsersGuide.tex')
| -rw-r--r-- | doc/UsersGuide/UsersGuide.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/UsersGuide/UsersGuide.tex b/doc/UsersGuide/UsersGuide.tex index 747cbe38..5f3b2cc3 100644 --- a/doc/UsersGuide/UsersGuide.tex +++ b/doc/UsersGuide/UsersGuide.tex @@ -23,7 +23,7 @@ citecolor=blue, urlcolor=blue ]{hyperref} - +\usepackage{verbatim} \usepackage{alltt} \newcommand{ \var }[1]{\textsl{\texttt{#1}}} |