From bedb86e074586f3244350a9451a9da3734971480 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 10 Feb 2016 18:47:25 +0100
Subject: [PATCH] Added K. Vorobyov to the list of authors of the E-ACSL user
manual
---
src/plugins/e-acsl/doc/userman/main.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/userman/main.tex b/src/plugins/e-acsl/doc/userman/main.tex
index 412182a639a..29010d84d70 100644
--- a/src/plugins/e-acsl/doc/userman/main.tex
+++ b/src/plugins/e-acsl/doc/userman/main.tex
@@ -19,7 +19,7 @@
\vfill
\title{\eacsl Plug-in}{Release \eacslversion compatible
with \framac \fcversion}
-\author{Julien Signoles}
+\author{Julien Signoles and Kostyantyn Vorobyov}
\begin{tabular}{l}
CEA LIST, Software Safety Laboratory, Saclay, F-91191 \\
\end{tabular}
--
GitLab