From dbb9c2829f5f84101cfddb528651ca8b21c62252 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 5 Feb 2016 14:00:58 +0100
Subject: [PATCH] [doc] remove Hi-Lite reference and update (C) date
---
src/plugins/e-acsl/doc/userman/main.tex | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/e-acsl/doc/userman/main.tex b/src/plugins/e-acsl/doc/userman/main.tex
index fba4326df94..412182a639a 100644
--- a/src/plugins/e-acsl/doc/userman/main.tex
+++ b/src/plugins/e-acsl/doc/userman/main.tex
@@ -25,9 +25,9 @@ CEA LIST, Software Safety Laboratory, Saclay, F-91191 \\
\end{tabular}
\vfill
\begin{flushleft}
- \textcopyright 2013 CEA LIST
-
- This work has been supported by the `Hi-Lite' FUI project (FUI AAP 9).
+ \textcopyright 2013-2016 CEA LIST
+%%
+ %% This work has been supported by the `Hi-Lite' FUI project (FUI AAP 9).
\end{flushleft}
\end{titlepage}
--
GitLab