diff options
Diffstat (limited to 'doc')
| -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 4d536bd..ae43585 100644 --- a/doc/documentation.tex +++ b/doc/documentation.tex @@ -79,7 +79,7 @@ \begin{document} % The author of the documentation -\author{Erik Schnett \textless schnetter@aei.mgp.de\textgreater} +\author{Erik Schnetter \textless schnetter@aei.mgp.de\textgreater} % The title of the document (not necessarily the name of the Thorn) \title{Formaline --- conserve meta data about runs forever} |