[wp/doc] Add author in manual

743001d2 · Allan Blanchard · 9e0619d5 · 743001d2
Commit 743001d2 authored Nov 20, 2020 by Allan Blanchard
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/plugins/wp/doc/manual/wp.tex src/plugins/wp/doc/manual/wp.tex +1 -1

No files found.
--- a/src/plugins/wp/doc/manual/wp.tex
+++ b/src/plugins/wp/doc/manual/wp.tex
@@ -21,7 +21,7 @@
 \vfill
 \title{WP Plug-in Manual}%
 {\tt Frama-C \FCVERSION}
-\author{Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye}
+\author{Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye, Allan Blanchard}
 \begin{center}
 CEA LIST, Software Safety Laboratory
 \end{center}